Graph forms
for C4 [ 512, 399 ] =
PL(CS(UG(ATD[64,10])[8^16],1))
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 512, 399 ] =
PL(CS(UG(ATD[64,10])[8^16],1)).
(I) Following is a form readable by MAGMA:
g:=Graph<512|{ {256, 317}, {256, 318}, {256, 333}, {256, 334}, {1, 257}, {160,
416}, {2, 258}, {188, 444}, {32, 289}, {8, 266}, {185, 443}, {1, 258}, {131,
384}, {2, 257}, {8, 267}, {6, 258}, {157, 409}, {132, 384}, {195, 455}, {6,
259}, {157, 408}, {185, 444}, {194, 455}, {5, 259}, {158, 408}, {71, 321}, {5,
258}, {158, 409}, {188, 443}, {187, 435}, {3, 266}, {72, 321}, {186, 435}, {3,
265}, {16, 282}, {194, 456}, {16, 283}, {187, 432}, {195, 456}, {196, 463}, {7,
267}, {69, 329}, {176, 444}, {188, 432}, {4, 265}, {7, 266}, {69, 328}, {176,
445}, {4, 266}, {159, 401}, {70, 328}, {186, 436}, {193, 463}, {70, 329}, {187,
436}, {2, 274}, {32, 304}, {53, 293}, {59, 299}, {60, 300}, {3, 274}, {53, 292},
{66, 339}, {185, 424}, {193, 464}, {209, 448}, {3, 273}, {54, 292}, {65, 339},
{175, 445}, {186, 424}, {2, 273}, {54, 293}, {175, 444}, {188, 431}, {15, 283},
{56, 300}, {187, 431}, {196, 464}, {212, 448}, {15, 282}, {56, 301}, {65, 340},
{39, 305}, {66, 340}, {59, 300}, {60, 299}, {71, 336}, {1, 281}, {67, 347}, {68,
348}, {72, 336}, {173, 437}, {40, 305}, {58, 291}, {173, 436}, {55, 301}, {57,
291}, {174, 436}, {1, 282}, {123, 352}, {55, 300}, {174, 437}, {14, 274}, {124,
352}, {37, 313}, {4, 281}, {14, 275}, {37, 312}, {57, 292}, {186, 423}, {189,
416}, {4, 282}, {13, 275}, {38, 312}, {58, 292}, {185, 423}, {13, 274}, {38,
313}, {67, 348}, {68, 347}, {95, 320}, {96, 320}, {107, 331}, {108, 332}, {8,
297}, {121, 344}, {8, 298}, {122, 344}, {24, 314}, {189, 415}, {24, 315}, {147,
432}, {124, 351}, {6, 290}, {148, 432}, {123, 351}, {22, 306}, {7, 290}, {22,
307}, {7, 289}, {151, 433}, {21, 307}, {190, 408}, {6, 289}, {21, 306}, {107,
332}, {108, 331}, {191, 408}, {191, 407}, {106, 323}, {152, 433}, {190, 407},
{105, 323}, {80, 379}, {5, 297}, {149, 441}, {23, 315}, {80, 380}, {23, 314},
{149, 440}, {122, 343}, {105, 324}, {106, 324}, {150, 440}, {121, 343}, {5,
298}, {150, 441}, {31, 304}, {208, 511}, {18, 290}, {11, 314}, {160, 401}, {18,
291}, {64, 369}, {11, 313}, {147, 417}, {17, 291}, {205, 511}, {17, 290}, {79,
380}, {29, 297}, {79, 379}, {12, 313}, {148, 417}, {29, 296}, {12, 314}, {30,
296}, {206, 504}, {30, 297}, {207, 504}, {9, 305}, {145, 425}, {10, 306}, {19,
299}, {207, 503}, {19, 298}, {145, 424}, {77, 372}, {206, 503}, {78, 372}, {146,
424}, {9, 306}, {146, 425}, {10, 305}, {78, 371}, {20, 298}, {31, 289}, {77,
371}, {20, 299}, {159, 416}, {9, 329}, {29, 349}, {73, 265}, {172, 492}, {198,
390}, {29, 348}, {128, 449}, {73, 264}, {172, 493}, {199, 390}, {40, 362}, {150,
468}, {74, 264}, {199, 389}, {214, 404}, {236, 430}, {9, 330}, {152, 475}, {151,
468}, {127, 316}, {40, 363}, {74, 265}, {198, 389}, {215, 404}, {216, 411},
{236, 431}, {38, 354}, {152, 476}, {151, 467}, {127, 315}, {39, 355}, {61, 377},
{215, 403}, {216, 412}, {242, 438}, {243, 439}, {12, 329}, {150, 467}, {38,
355}, {39, 354}, {61, 376}, {200, 397}, {214, 403}, {242, 439}, {243, 438}, {12,
330}, {62, 376}, {87, 273}, {171, 493}, {200, 398}, {233, 431}, {62, 377}, {171,
492}, {233, 430}, {10, 322}, {197, 397}, {11, 322}, {149, 476}, {125, 308}, {16,
345}, {88, 273}, {213, 412}, {11, 321}, {244, 446}, {126, 308}, {16, 346}, {30,
340}, {31, 341}, {75, 257}, {10, 321}, {244, 447}, {30, 341}, {31, 340}, {197,
398}, {48, 380}, {85, 281}, {169, 485}, {208, 412}, {234, 422}, {235, 423}, {48,
381}, {126, 307}, {76, 257}, {85, 280}, {169, 484}, {173, 480}, {208, 413},
{234, 423}, {235, 422}, {37, 363}, {149, 475}, {125, 307}, {63, 369}, {86, 280},
{170, 484}, {213, 411}, {241, 447}, {37, 362}, {86, 281}, {170, 485}, {241,
446}, {27, 331}, {147, 451}, {128, 464}, {43, 379}, {176, 480}, {179, 483}, {27,
330}, {146, 451}, {43, 378}, {178, 483}, {47, 381}, {135, 469}, {134, 468},
{172, 510}, {207, 413}, {223, 397}, {47, 380}, {135, 468}, {134, 469}, {172,
511}, {207, 412}, {223, 396}, {13, 345}, {136, 476}, {53, 352}, {136, 477}, {28,
330}, {146, 452}, {44, 378}, {169, 511}, {178, 484}, {13, 346}, {151, 448},
{147, 452}, {119, 288}, {28, 331}, {44, 379}, {169, 510}, {179, 484}, {26, 322},
{152, 448}, {148, 460}, {133, 477}, {120, 288}, {42, 370}, {45, 373}, {56, 352},
{180, 492}, {205, 405}, {221, 389}, {26, 323}, {133, 476}, {42, 371}, {45, 372},
{205, 404}, {221, 388}, {25, 323}, {145, 459}, {41, 371}, {46, 372}, {177, 491},
{206, 404}, {222, 388}, {25, 322}, {160, 507}, {41, 370}, {46, 373}, {75, 272},
{206, 405}, {222, 389}, {14, 338}, {160, 508}, {76, 272}, {170, 502}, {171,
503}, {15, 338}, {145, 460}, {170, 503}, {171, 502}, {177, 492}, {224, 445},
{15, 337}, {224, 446}, {14, 337}, {148, 459}, {96, 319}, {180, 491}, {192, 415},
{95, 319}, {192, 416}, {221, 445}, {24, 377}, {157, 508}, {144, 497}, {118,
279}, {24, 378}, {140, 494}, {117, 279}, {111, 268}, {140, 495}, {221, 446},
{22, 370}, {130, 486}, {53, 337}, {111, 267}, {162, 454}, {193, 421}, {211,
439}, {23, 370}, {131, 486}, {93, 312}, {162, 455}, {193, 420}, {210, 439}, {23,
369}, {161, 455}, {157, 507}, {137, 495}, {131, 485}, {94, 312}, {194, 420},
{22, 369}, {161, 454}, {137, 494}, {130, 485}, {120, 287}, {39, 320}, {194,
421}, {40, 320}, {119, 287}, {196, 428}, {222, 438}, {56, 337}, {153, 496},
{132, 493}, {94, 311}, {109, 260}, {196, 429}, {223, 438}, {93, 311}, {158,
500}, {132, 494}, {110, 260}, {164, 462}, {210, 440}, {223, 437}, {91, 304},
{159, 500}, {164, 463}, {211, 440}, {212, 447}, {222, 437}, {21, 377}, {159,
499}, {156, 496}, {139, 487}, {138, 486}, {129, 493}, {92, 304}, {163, 463},
{224, 396}, {110, 259}, {158, 499}, {139, 486}, {138, 487}, {117, 280}, {163,
462}, {224, 397}, {54, 344}, {118, 280}, {55, 345}, {109, 259}, {195, 429},
{209, 447}, {240, 414}, {21, 378}, {129, 494}, {54, 345}, {55, 344}, {176, 479},
{195, 428}, {240, 415}, {18, 354}, {34, 338}, {230, 406}, {19, 354}, {34, 339},
{89, 296}, {210, 419}, {220, 429}, {231, 406}, {19, 353}, {154, 488}, {33, 339},
{90, 296}, {173, 479}, {209, 419}, {220, 430}, {231, 405}, {237, 415}, {18,
353}, {156, 495}, {155, 488}, {33, 338}, {92, 303}, {230, 405}, {237, 414}, {91,
303}, {162, 470}, {163, 471}, {217, 429}, {162, 471}, {163, 470}, {209, 420},
{232, 413}, {142, 504}, {153, 495}, {143, 505}, {174, 472}, {210, 420}, {232,
414}, {87, 288}, {143, 504}, {142, 505}, {175, 472}, {217, 430}, {17, 361}, {35,
347}, {88, 288}, {175, 471}, {211, 427}, {212, 428}, {229, 413}, {238, 406},
{239, 407}, {35, 346}, {174, 471}, {238, 407}, {239, 406}, {164, 478}, {17,
362}, {112, 267}, {164, 479}, {229, 414}, {32, 348}, {155, 487}, {141, 497},
{112, 268}, {218, 422}, {20, 361}, {154, 487}, {32, 349}, {90, 295}, {219, 422},
{20, 362}, {36, 346}, {89, 295}, {161, 479}, {219, 421}, {36, 347}, {161, 478},
{211, 428}, {212, 427}, {218, 421}, {41, 425}, {115, 499}, {114, 498}, {50,
434}, {198, 326}, {51, 434}, {137, 264}, {115, 498}, {114, 499}, {198, 327},
{51, 433}, {138, 264}, {119, 501}, {118, 500}, {197, 327}, {41, 426}, {140,
271}, {119, 500}, {118, 501}, {115, 496}, {50, 433}, {197, 326}, {116, 496},
{139, 271}, {120, 508}, {226, 358}, {44, 425}, {120, 509}, {227, 358}, {44,
426}, {109, 491}, {200, 334}, {227, 357}, {109, 490}, {200, 335}, {226, 357},
{42, 418}, {117, 509}, {49, 441}, {199, 335}, {43, 418}, {117, 508}, {105, 480},
{199, 334}, {228, 365}, {43, 417}, {113, 507}, {228, 366}, {42, 417}, {144,
283}, {113, 506}, {49, 442}, {108, 480}, {144, 284}, {110, 482}, {111, 483},
{225, 365}, {52, 441}, {138, 263}, {110, 483}, {111, 482}, {52, 442}, {137,
263}, {116, 506}, {116, 507}, {225, 366}, {25, 393}, {247, 359}, {246, 358},
{66, 466}, {93, 461}, {166, 310}, {67, 466}, {247, 358}, {246, 359}, {92, 461},
{93, 460}, {166, 311}, {67, 465}, {115, 481}, {92, 462}, {165, 311}, {25, 394},
{143, 284}, {66, 465}, {165, 310}, {89, 461}, {143, 283}, {98, 502}, {28, 393},
{116, 481}, {99, 502}, {28, 394}, {248, 366}, {99, 501}, {168, 318}, {89, 462},
{248, 367}, {98, 501}, {168, 319}, {26, 386}, {113, 489}, {65, 473}, {167, 319},
{27, 386}, {141, 276}, {113, 488}, {100, 509}, {167, 318}, {27, 385}, {245,
367}, {142, 276}, {114, 488}, {112, 490}, {94, 452}, {95, 453}, {100, 510}, {26,
385}, {245, 366}, {139, 272}, {114, 489}, {112, 491}, {65, 474}, {94, 453}, {95,
452}, {90, 454}, {140, 272}, {97, 509}, {68, 473}, {142, 275}, {91, 454}, {68,
474}, {141, 275}, {91, 453}, {90, 453}, {97, 510}, {82, 498}, {182, 278}, {83,
498}, {124, 477}, {182, 279}, {83, 497}, {124, 478}, {104, 458}, {181, 279},
{220, 382}, {239, 333}, {51, 400}, {82, 497}, {104, 459}, {181, 278}, {220,
383}, {239, 332}, {52, 400}, {121, 477}, {77, 489}, {102, 450}, {219, 383},
{102, 451}, {219, 382}, {45, 395}, {101, 451}, {184, 286}, {45, 394}, {121,
478}, {77, 490}, {101, 450}, {184, 287}, {215, 368}, {81, 505}, {183, 287},
{216, 368}, {237, 325}, {183, 286}, {237, 324}, {238, 324}, {81, 506}, {192,
363}, {238, 325}, {46, 386}, {122, 470}, {47, 387}, {78, 482}, {96, 460}, {103,
459}, {192, 364}, {218, 374}, {46, 387}, {125, 464}, {123, 470}, {47, 386}, {79,
482}, {84, 505}, {96, 461}, {103, 458}, {218, 375}, {79, 481}, {123, 469}, {84,
506}, {217, 375}, {78, 481}, {122, 469}, {217, 374}, {34, 402}, {253, 333},
{230, 342}, {35, 402}, {214, 359}, {230, 343}, {35, 401}, {51, 385}, {61, 399},
{104, 474}, {106, 472}, {107, 473}, {213, 359}, {229, 343}, {34, 401}, {253,
334}, {61, 398}, {104, 475}, {106, 473}, {107, 472}, {229, 342}, {102, 466},
{103, 467}, {52, 385}, {102, 467}, {103, 466}, {126, 456}, {127, 457}, {232,
350}, {126, 457}, {127, 456}, {216, 367}, {232, 351}, {33, 409}, {254, 326},
{49, 393}, {62, 390}, {63, 391}, {105, 465}, {215, 367}, {231, 351}, {49, 392},
{255, 326}, {62, 391}, {63, 390}, {80, 489}, {231, 350}, {48, 394}, {255, 325},
{50, 392}, {80, 490}, {33, 410}, {254, 325}, {128, 315}, {48, 395}, {50, 393},
{125, 449}, {128, 316}, {240, 332}, {36, 409}, {108, 465}, {213, 360}, {240,
333}, {36, 410}, {101, 475}, {214, 360}, {63, 384}, {101, 474}, {64, 384}, {245,
309}, {134, 327}, {255, 318}, {245, 308}, {133, 327}, {255, 317}, {246, 308},
{204, 270}, {83, 400}, {246, 309}, {204, 271}, {84, 400}, {248, 316}, {203,
271}, {226, 294}, {203, 270}, {248, 317}, {226, 295}, {225, 295}, {136, 335},
{225, 294}, {135, 335}, {254, 310}, {253, 309}, {228, 302}, {247, 317}, {228,
303}, {254, 309}, {253, 310}, {247, 316}, {202, 262}, {227, 303}, {133, 328},
{202, 263}, {227, 302}, {64, 398}, {134, 328}, {201, 263}, {64, 399}, {201,
262}, {166, 374}, {167, 374}, {72, 410}, {167, 373}, {72, 411}, {166, 373},
{191, 364}, {70, 402}, {71, 403}, {177, 357}, {191, 363}, {70, 403}, {71, 402},
{82, 391}, {168, 381}, {177, 356}, {81, 391}, {168, 382}, {178, 356}, {135,
336}, {178, 357}, {136, 336}, {165, 381}, {180, 364}, {81, 392}, {180, 365},
{189, 356}, {82, 392}, {190, 356}, {84, 399}, {165, 382}, {83, 399}, {190, 355},
{69, 411}, {179, 365}, {189, 355}, {69, 410}, {179, 364}, {182, 342}, {236,
268}, {98, 387}, {252, 285}, {183, 342}, {204, 301}, {236, 269}, {73, 427},
{252, 286}, {88, 442}, {97, 387}, {183, 341}, {204, 302}, {73, 426}, {88, 443},
{182, 341}, {86, 434}, {249, 285}, {87, 435}, {201, 301}, {241, 277}, {86, 435},
{87, 434}, {97, 388}, {184, 349}, {241, 276}, {76, 426}, {98, 388}, {184, 350},
{235, 269}, {242, 276}, {76, 427}, {249, 286}, {201, 302}, {235, 268}, {242,
277}, {74, 418}, {75, 419}, {99, 395}, {100, 396}, {181, 349}, {244, 284}, {74,
419}, {75, 418}, {244, 285}, {155, 368}, {181, 350}, {156, 368}, {250, 278},
{202, 294}, {233, 261}, {203, 294}, {251, 278}, {233, 260}, {85, 443}, {251,
277}, {203, 293}, {234, 260}, {243, 285}, {85, 442}, {250, 277}, {99, 396},
{100, 395}, {202, 293}, {234, 261}, {243, 284}, {57, 457}, {153, 361}, {153,
360}, {252, 269}, {154, 360}, {252, 270}, {57, 458}, {154, 361}, {60, 457},
{251, 270}, {130, 375}, {60, 458}, {251, 269}, {129, 375}, {58, 450}, {59, 450},
{129, 376}, {59, 449}, {155, 353}, {130, 376}, {58, 449}, {132, 383}, {131,
383}, {250, 262}, {249, 261}, {156, 353}, {249, 262}, {250, 261}, {141, 512},
{144, 512}, {205, 512}, {208, 512} }>;
(II) A more general form is to represent the graph as the orbit of {256, 317}
under the group generated by the following permutations:
a: (9, 10)(11, 12)(25, 28)(26, 27)(33, 34)(35, 36)(69, 71)(70, 72)(105,
108)(106, 107)(133, 136)(134, 135)(157, 160)(158, 159)(189, 190)(191, 192)(197,
200)(198, 199)(205, 208)(206, 207)(213, 214)(215, 216)(229, 230)(231, 232)(237,
239)(238, 240)(253, 254)(255, 256)(321, 329)(322, 330)(323, 331)(324, 332)(325,
333)(326, 334)(327, 335)(328, 336)(401, 409)(402, 410)(403, 411)(404, 412)(405,
413)(406, 414)(407, 415)(408, 416) (III) Last is Groups&Graphs. Copy everything between (not including)
the lines of asterisks into a plain text file and save it as "graph.txt". Then
launch G&G (Groups&Graphs) and select Read Text from the File menu.
**************
&Graph **************
b: (21, 22)(23, 24)(41, 44)(42, 43)(45, 48)(46, 47)(61, 64)(62, 63)(77, 80)(78,
79)(129, 132)(130, 131)(165, 166)(167, 168)(217, 220)(218, 219)(369, 377)(370,
378)(371, 379)(372, 380)(373, 381)(374, 382)(375, 383)(376, 384)
c: (13, 14)(15, 16)(29, 30)(31, 32)(33, 36)(34, 35)(53, 54)(55, 56)(65, 68)(66,
67)(121, 124)(122, 123)(181, 182)(183, 184)(229, 232)(230, 231)(337, 345)(338,
346)(339, 347)(340, 348)(341, 349)(342, 350)(343, 351)(344, 352)
d: (9, 12)(10, 11)(21, 23)(22, 24)(37, 40)(38, 39)(41, 44)(42, 43)(45, 48)(46,
47)(61, 64)(62, 63)(77, 80)(78, 79)(93, 96)(94, 95)(125, 128)(126, 127)(129,
132)(130, 131)(165, 167)(166, 168)(217, 220)(218, 219)(245, 248)(246, 247)(253,
256)(254, 255)(305, 313)(306, 314)(307, 315)(308, 316)(309, 317)(310, 318)(311,
319)(312, 320)(369, 377)(370, 378)(371, 379)(372, 380)(373, 381)(374, 382)(375,
383)(376, 384)
e: (57, 58)(59, 60)(65, 66)(67, 68)(89, 90)(91, 92)(93, 94)(95, 96)(101,
103)(102, 104)(105, 106)(107, 108)(121, 122)(123, 124)(125, 126)(127, 128)(133,
134)(135, 136)(145, 146)(147, 148)(149, 150)(151, 152)(161, 163)(162, 164)(173,
174)(175, 176)(193, 194)(195, 196)(449, 457)(450, 458)(451, 459)(452, 460)(453,
461)(454, 462)(455, 463)(456, 464)(465, 473)(466, 474)(467, 475)(468, 476)(469,
477)(470, 478)(471, 479)(472, 480)
f: (25, 26)(27, 28)(45, 46)(47, 48)(49, 52)(50, 51)(61, 62)(63, 64)(81, 84)(82,
83)(97, 100)(98, 99)(197, 198)(199, 200)(221, 224)(222, 223)(385, 393)(386,
394)(387, 395)(388, 396)(389, 397)(390, 398)(391, 399)(392, 400)
g: (33, 34)(35, 36)(69, 70)(71, 72)(157, 160)(158, 159)(189, 190)(191, 192)(205,
208)(206, 207)(213, 214)(215, 216)(229, 230)(231, 232)(237, 238)(239, 240)(401,
409)(402, 410)(403, 411)(404, 412)(405, 413)(406, 414)(407, 415)(408, 416)
h: (41, 42)(43, 44)(73, 74)(75, 76)(145, 148)(146, 147)(185, 188)(186, 187)(193,
196)(194, 195)(209, 212)(210, 211)(217, 218)(219, 220)(233, 234)(235, 236)(417,
425)(418, 426)(419, 427)(420, 428)(421, 429)(422, 430)(423, 431)(424, 432)
m: (1, 5, 2, 6)(3, 7, 4, 8)(9, 25, 12, 26)(10, 28, 11, 27)(13, 31, 16, 30)(14,
32, 15, 29)(17, 86, 20, 87)(18, 85, 19, 88)(21, 48, 24, 47)(22, 45, 23, 46)(33,
67, 34, 68)(35, 65, 36, 66)(37, 51, 40, 50)(38, 52, 39, 49)(41, 77)(42, 78)(43,
79)(44, 80)(53, 181, 56, 184)(54, 182, 55, 183)(57, 118, 60, 119)(58, 117, 59,
120)(61, 168, 62, 165)(63, 166, 64, 167)(69, 105, 70, 106)(71, 107, 72, 108)(73,
112)(74, 111)(75, 110)(76, 109)(81, 94, 84, 95)(82, 93, 83, 96)(89, 141, 92,
144)(90, 142, 91, 143)(97, 125, 100, 128)(98, 126, 99, 127)(101, 157, 102,
160)(103, 159, 104, 158)(113, 146)(114, 145)(115, 148)(116, 147)(121, 230, 122,
229)(123, 232, 124, 231)(129, 220)(130, 219)(131, 218)(132, 217)(133, 238, 134,
237)(135, 240, 136, 239)(137, 236)(138, 235)(139, 234)(140, 233)(149, 190, 150,
189)(151, 192, 152, 191)(153, 187)(154, 186)(155, 185)(156, 188)(161, 206, 162,
207)(163, 208, 164, 205)(169, 193)(170, 194)(171, 195)(172, 196)(173, 214, 174,
213)(175, 216, 176, 215)(177, 211)(178, 210)(179, 209)(180, 212)(197, 255, 198,
254)(199, 253, 200, 256)(201, 252, 202, 251)(203, 250, 204, 249)(221, 245, 224,
248)(222, 246, 223, 247)(225, 241, 228, 244)(226, 242, 227, 243)(257, 259)(260,
272)(261, 271)(262, 270)(263, 269)(264, 268)(265, 267)(273, 290, 281, 298)(274,
289, 282, 297)(275, 304, 283, 296)(276, 303, 284, 295)(277, 302, 285, 294)(278,
301, 286, 293)(279, 300, 287, 292)(280, 299, 288, 291)(305, 393, 313, 385)(306,
394, 314, 386)(307, 395, 315, 387)(308, 396, 316, 388)(309, 397, 317, 389)(310,
398, 318, 390)(311, 399, 319, 391)(312, 400, 320, 392)(321, 331)(322, 330)(323,
329)(324, 328)(325, 327)(332, 336)(333, 335)(337, 349)(338, 348)(339, 347)(340,
346)(341, 345)(342, 344)(350, 352)(353, 443)(354, 442)(355, 441)(356, 440)(357,
439)(358, 438)(359, 437)(360, 436)(361, 435)(362, 434)(363, 433)(364, 448)(365,
447)(366, 446)(367, 445)(368, 444)(369, 373)(370, 372)(374, 384)(375, 383)(376,
382)(377, 381)(378, 380)(401, 474, 409, 466)(402, 473, 410, 465)(403, 472, 411,
480)(404, 471, 412, 479)(405, 470, 413, 478)(406, 469, 414, 477)(407, 468, 415,
476)(408, 467, 416, 475)(417, 481)(418, 482)(419, 483)(420, 484)(421, 485)(422,
486)(423, 487)(424, 488)(425, 489)(426, 490)(427, 491)(428, 492)(429, 493)(430,
494)(431, 495)(432, 496)(449, 509)(450, 508)(451, 507)(452, 506)(453, 505)(454,
504)(455, 503)(456, 502)(457, 501)(458, 500)(459, 499)(460, 498)(461, 497)(462,
512)(463, 511)(464, 510)
n1: (65, 66)(67, 68)(101, 102)(103, 104)(105, 106)(107, 108)(121, 122)(123,
124)(133, 134)(135, 136)(149, 150)(151, 152)(161, 162)(163, 164)(173, 174)(175,
176)(465, 473)(466, 474)(467, 475)(468, 476)(469, 477)(470, 478)(471, 479)(472,
480)
a1: (81, 82)(83, 84)(97, 98)(99, 100)(113, 114)(115, 116)(117, 118)(119,
120)(141, 142)(143, 144)(157, 158)(159, 160)(169, 170)(171, 172)(205, 206)(207,
208)(497, 505)(498, 506)(499, 507)(500, 508)(501, 509)(502, 510)(503, 511)(504,
512)
b1: (2, 4)(5, 86)(6, 85)(7, 88)(8, 87)(10, 12)(13, 74)(14, 73)(15, 76)(16,
75)(17, 49)(18, 52)(19, 51)(20, 50)(21, 70)(22, 69)(23, 72)(24, 71)(25, 37)(26,
38)(27, 39)(28, 40)(29, 187)(30, 186)(31, 185)(32, 188)(33, 41)(34, 44)(35,
43)(36, 42)(45, 191)(46, 190)(47, 189)(48, 192)(53, 211)(54, 210)(55, 209)(56,
212)(57, 150)(58, 149)(59, 152)(60, 151)(61, 215)(62, 214)(63, 213)(64, 216)(65,
146)(66, 145)(67, 148)(68, 147)(77, 158)(78, 157)(79, 160)(80, 159)(81, 153)(82,
154)(83, 155)(84, 156)(89, 173)(90, 174)(91, 175)(92, 176)(93, 105)(94, 106)(95,
107)(96, 108)(97, 178)(98, 177)(99, 180)(100, 179)(102, 104)(109, 118)(110,
117)(111, 120)(112, 119)(113, 115)(121, 193)(122, 194)(123, 195)(124, 196)(125,
133)(126, 134)(127, 135)(128, 136)(129, 206)(130, 205)(131, 208)(132, 207)(137,
142)(138, 141)(139, 144)(140, 143)(161, 163)(165, 237)(166, 238)(167, 239)(168,
240)(170, 172)(181, 233)(182, 234)(183, 235)(184, 236)(197, 245)(198, 246)(199,
247)(200, 248)(201, 241)(202, 242)(203, 243)(204, 244)(217, 231)(218, 230)(219,
229)(220, 232)(221, 227)(222, 226)(223, 225)(224, 228)(249, 251)(253, 255)(257,
282)(258, 281)(259, 280)(260, 279)(261, 278)(262, 277)(263, 276)(264, 275)(265,
274)(266, 273)(267, 288)(268, 287)(269, 286)(270, 285)(271, 284)(272, 283)(289,
443)(290, 442)(291, 441)(292, 440)(293, 439)(294, 438)(295, 437)(296, 436)(297,
435)(298, 434)(299, 433)(300, 448)(301, 447)(302, 446)(303, 445)(304, 444)(305,
330)(306, 329)(307, 328)(308, 327)(309, 326)(310, 325)(311, 324)(312, 323)(313,
322)(314, 321)(315, 336)(316, 335)(317, 334)(318, 333)(319, 332)(320, 331)(337,
427)(338, 426)(339, 425)(340, 424)(341, 423)(342, 422)(343, 421)(344, 420)(345,
419)(346, 418)(347, 417)(348, 432)(349, 431)(350, 430)(351, 429)(352, 428)(353,
400)(354, 385)(355, 386)(356, 387)(357, 388)(358, 389)(359, 390)(360, 391)(361,
392)(362, 393)(363, 394)(364, 395)(365, 396)(366, 397)(367, 398)(368, 399)(369,
411)(370, 410)(371, 409)(372, 408)(373, 407)(374, 406)(375, 405)(376, 404)(377,
403)(378, 402)(379, 401)(380, 416)(381, 415)(382, 414)(383, 413)(384, 412)(449,
476)(450, 475)(451, 474)(452, 473)(453, 472)(454, 471)(455, 470)(456, 469)(457,
468)(458, 467)(459, 466)(460, 465)(461, 480)(462, 479)(463, 478)(464, 477)(481,
507)(482, 508)(483, 509)(484, 510)(485, 511)(486, 512)(487, 497)(488, 498)(489,
499)(490, 500)(491, 501)(492, 502)(493, 503)(494, 504)(495, 505)(496, 506)
c1: (77, 78)(79, 80)(81, 82)(83, 84)(97, 98)(99, 100)(109, 110)(111, 112)(113,
115)(114, 116)(117, 118)(119, 120)(129, 130)(131, 132)(137, 138)(139, 140)(141,
142)(143, 144)(153, 154)(155, 156)(157, 158)(159, 160)(169, 171)(170, 172)(177,
178)(179, 180)(205, 206)(207, 208)(481, 489)(482, 490)(483, 491)(484, 492)(485,
493)(486, 494)(487, 495)(488, 496)(497, 505)(498, 506)(499, 507)(500, 508)(501,
509)(502, 510)(503, 511)(504, 512)
d1: (5, 6)(7, 8)(17, 20)(18, 19)(29, 32)(30, 31)(53, 56)(54, 55)(57, 60)(58,
59)(89, 92)(90, 91)(201, 202)(203, 204)(225, 228)(226, 227)(289, 297)(290,
298)(291, 299)(292, 300)(293, 301)(294, 302)(295, 303)(296, 304)
e1: (1, 2)(3, 4)(13, 16)(14, 15)(85, 88)(86, 87)(117, 120)(118, 119)(141,
144)(142, 143)(181, 184)(182, 183)(241, 244)(242, 243)(249, 250)(251, 252)(273,
281)(274, 282)(275, 283)(276, 284)(277, 285)(278, 286)(279, 287)(280, 288)
f1: (17, 18)(19, 20)(37, 38)(39, 40)(153, 156)(154, 155)(177, 180)(178,
179)(189, 192)(190, 191)(213, 216)(214, 215)(225, 226)(227, 228)(245, 246)(247,
248)(353, 361)(354, 362)(355, 363)(356, 364)(357, 365)(358, 366)(359, 367)(360,
368)
g1: (49, 50)(51, 52)(85, 86)(87, 88)(149, 152)(150, 151)(173, 176)(174,
175)(185, 186)(187, 188)(209, 210)(211, 212)(221, 222)(223, 224)(241, 242)(243,
244)(433, 441)(434, 442)(435, 443)(436, 444)(437, 445)(438, 446)(439, 447)(440,
448)
h1: (2, 4)(5, 16)(6, 15)(7, 14)(8, 13)(9, 11)(17, 33)(18, 34)(19, 35)(20,
36)(21, 26)(22, 25)(23, 28)(24, 27)(29, 55)(30, 54)(31, 53)(32, 56)(37, 69)(38,
70)(39, 71)(40, 72)(41, 49)(42, 50)(43, 51)(44, 52)(45, 63)(46, 62)(47, 61)(48,
64)(57, 66)(58, 65)(59, 68)(60, 67)(73, 88)(74, 87)(75, 86)(76, 85)(77, 81)(78,
82)(79, 83)(80, 84)(89, 122)(90, 121)(91, 124)(92, 123)(93, 134)(94, 133)(95,
136)(96, 135)(97, 130)(98, 129)(99, 132)(100, 131)(102, 104)(105, 126)(106,
125)(107, 128)(108, 127)(109, 143)(110, 144)(111, 141)(112, 142)(114, 116)(117,
139)(118, 140)(119, 137)(120, 138)(145, 150)(146, 149)(147, 152)(148, 151)(153,
158)(154, 157)(155, 160)(156, 159)(162, 164)(165, 197)(166, 198)(167, 199)(168,
200)(170, 172)(173, 194)(174, 193)(175, 196)(176, 195)(177, 206)(178, 205)(179,
208)(180, 207)(181, 204)(182, 203)(183, 202)(184, 201)(185, 211)(186, 210)(187,
209)(188, 212)(189, 215)(190, 214)(191, 213)(192, 216)(217, 221)(218, 222)(219,
223)(220, 224)(225, 229)(226, 230)(227, 231)(228, 232)(233, 244)(234, 243)(235,
242)(236, 241)(237, 245)(238, 246)(239, 247)(240, 248)(250, 252)(253, 255)(257,
281)(258, 282)(259, 283)(260, 284)(261, 285)(262, 286)(263, 287)(264, 288)(265,
273)(266, 274)(267, 275)(268, 276)(269, 277)(270, 278)(271, 279)(272, 280)(289,
337)(290, 338)(291, 339)(292, 340)(293, 341)(294, 342)(295, 343)(296, 344)(297,
345)(298, 346)(299, 347)(300, 348)(301, 349)(302, 350)(303, 351)(304, 352)(305,
321)(306, 322)(307, 323)(308, 324)(309, 325)(310, 326)(311, 327)(312, 328)(313,
329)(314, 330)(315, 331)(316, 332)(317, 333)(318, 334)(319, 335)(320, 336)(353,
401)(354, 402)(355, 403)(356, 404)(357, 405)(358, 406)(359, 407)(360, 408)(361,
409)(362, 410)(363, 411)(364, 412)(365, 413)(366, 414)(367, 415)(368, 416)(369,
394)(370, 393)(371, 392)(372, 391)(373, 390)(374, 389)(375, 388)(376, 387)(377,
386)(378, 385)(379, 400)(380, 399)(381, 398)(382, 397)(383, 396)(384, 395)(417,
433)(418, 434)(419, 435)(420, 436)(421, 437)(422, 438)(423, 439)(424, 440)(425,
441)(426, 442)(427, 443)(428, 444)(429, 445)(430, 446)(431, 447)(432, 448)(449,
473)(450, 474)(451, 475)(452, 476)(453, 477)(454, 478)(455, 479)(456, 480)(457,
465)(458, 466)(459, 467)(460, 468)(461, 469)(462, 470)(463, 471)(464, 472)(481,
498)(482, 497)(483, 512)(484, 511)(485, 510)(486, 509)(487, 508)(488, 507)(489,
506)(490, 505)(491, 504)(492, 503)(493, 502)(494, 501)(495, 500)(496, 499)
C4[ 512, 399 ]
512
-1 257 258 281 282
-2 257 258 273 274
-3 265 266 273 274
-4 265 266 281 282
-5 297 298 258 259
-6 289 290 258 259
-7 266 267 289 290
-8 297 298 266 267
-9 330 305 306 329
-10 321 322 305 306
-11 321 322 313 314
-12 330 313 314 329
-13 275 345 346 274
-14 275 337 338 274
-15 282 337 283 338
-16 345 346 282 283
-17 290 291 361 362
-18 353 354 290 291
-19 298 353 299 354
-20 298 299 361 362
-21 377 378 306 307
-22 369 370 306 307
-23 314 369 315 370
-24 377 378 314 315
-25 322 323 393 394
-26 385 386 322 323
-27 330 385 331 386
-28 330 331 393 394
-29 297 348 349 296
-30 297 341 296 340
-31 341 289 304 340
-32 289 304 348 349
-33 409 410 338 339
-34 401 402 338 339
-35 346 401 347 402
-36 409 410 346 347
-37 363 312 313 362
-38 354 355 312 313
-39 320 354 355 305
-40 363 320 305 362
-41 370 425 371 426
-42 418 370 371 417
-43 418 378 379 417
-44 378 379 425 426
-45 372 394 373 395
-46 386 387 372 373
-47 386 387 380 381
-48 380 381 394 395
-49 441 442 392 393
-50 433 434 392 393
-51 385 400 433 434
-52 385 441 442 400
-53 352 292 293 337
-54 344 345 292 293
-55 300 344 301 345
-56 352 300 301 337
-57 291 292 457 458
-58 291 292 449 450
-59 299 300 449 450
-60 299 300 457 458
-61 376 398 377 399
-62 376 377 390 391
-63 390 369 391 384
-64 398 399 369 384
-65 473 474 339 340
-66 465 466 339 340
-67 465 466 347 348
-68 473 474 347 348
-69 410 411 328 329
-70 402 403 328 329
-71 321 336 402 403
-72 321 410 411 336
-73 264 265 426 427
-74 264 418 265 419
-75 418 419 257 272
-76 257 272 426 427
-77 489 490 371 372
-78 371 481 372 482
-79 379 380 481 482
-80 379 489 380 490
-81 506 391 392 505
-82 497 498 391 392
-83 497 399 498 400
-84 506 399 400 505
-85 442 443 280 281
-86 280 434 281 435
-87 288 434 435 273
-88 288 442 443 273
-89 462 295 296 461
-90 453 454 295 296
-91 453 454 303 304
-92 462 303 304 461
-93 311 312 460 461
-94 452 453 311 312
-95 319 320 452 453
-96 319 320 460 461
-97 387 388 509 510
-98 387 388 501 502
-99 396 501 502 395
-100 396 509 510 395
-101 451 474 475 450
-102 451 466 467 450
-103 466 467 458 459
-104 474 475 458 459
-105 465 323 324 480
-106 473 323 324 472
-107 473 331 332 472
-108 331 332 465 480
-109 259 490 260 491
-110 259 260 482 483
-111 267 268 482 483
-112 267 268 490 491
-113 506 507 488 489
-114 498 488 499 489
-115 496 498 499 481
-116 506 496 507 481
-117 508 509 279 280
-118 279 280 500 501
-119 287 288 500 501
-120 287 288 508 509
-121 343 344 477 478
-122 343 344 469 470
-123 352 469 470 351
-124 352 477 478 351
-125 308 464 449 307
-126 308 456 457 307
-127 456 457 315 316
-128 464 315 316 449
-129 375 376 493 494
-130 375 485 376 486
-131 485 486 383 384
-132 383 493 384 494
-133 476 477 327 328
-134 468 469 327 328
-135 335 336 468 469
-136 476 477 335 336
-137 264 495 263 494
-138 264 486 487 263
-139 486 487 271 272
-140 495 271 272 494
-141 275 276 497 512
-142 275 276 504 505
-143 283 284 504 505
-144 497 512 283 284
-145 424 425 459 460
-146 451 452 424 425
-147 451 452 432 417
-148 432 459 460 417
-149 440 441 475 476
-150 440 441 467 468
-151 433 467 468 448
-152 475 476 433 448
-153 495 496 360 361
-154 487 488 360 361
-155 353 487 488 368
-156 495 353 496 368
-157 408 507 409 508
-158 408 409 499 500
-159 499 401 500 416
-160 507 508 401 416
-161 454 455 478 479
-162 454 455 470 471
-163 462 463 470 471
-164 462 463 478 479
-165 310 311 381 382
-166 374 310 311 373
-167 319 374 318 373
-168 319 381 382 318
-169 484 485 510 511
-170 484 485 502 503
-171 502 492 503 493
-172 510 511 492 493
-173 479 436 480 437
-174 436 437 471 472
-175 444 445 471 472
-176 444 445 479 480
-177 356 357 491 492
-178 484 356 357 483
-179 484 364 365 483
-180 364 365 491 492
-181 278 279 349 350
-182 341 342 278 279
-183 286 341 287 342
-184 286 287 349 350
-185 443 444 423 424
-186 423 424 435 436
-187 431 432 435 436
-188 431 432 443 444
-189 355 356 415 416
-190 407 408 355 356
-191 363 407 364 408
-192 363 364 415 416
-193 463 420 464 421
-194 420 421 455 456
-195 429 455 456 428
-196 429 463 464 428
-197 397 398 326 327
-198 389 390 326 327
-199 334 389 335 390
-200 397 398 334 335
-201 301 302 262 263
-202 293 294 262 263
-203 270 271 293 294
-204 301 302 270 271
-205 511 512 404 405
-206 404 503 405 504
-207 412 413 503 504
-208 412 511 413 512
-209 419 420 447 448
-210 440 419 420 439
-211 440 427 428 439
-212 447 448 427 428
-213 411 412 359 360
-214 359 403 360 404
-215 367 368 403 404
-216 367 411 368 412
-217 374 429 375 430
-218 374 375 421 422
-219 421 422 382 383
-220 429 430 382 383
-221 388 389 445 446
-222 388 389 437 438
-223 396 397 437 438
-224 396 397 445 446
-225 365 366 294 295
-226 357 358 294 295
-227 302 357 303 358
-228 365 366 302 303
-229 342 343 413 414
-230 342 343 405 406
-231 350 405 351 406
-232 413 414 350 351
-233 430 431 260 261
-234 422 423 260 261
-235 268 422 269 423
-236 430 431 268 269
-237 324 325 414 415
-238 407 324 325 406
-239 407 332 333 406
-240 332 333 414 415
-241 276 277 446 447
-242 276 277 438 439
-243 284 438 285 439
-244 446 447 284 285
-245 308 309 366 367
-246 308 309 358 359
-247 358 359 316 317
-248 366 367 316 317
-249 286 261 262 285
-250 277 278 261 262
-251 277 278 269 270
-252 286 269 270 285
-253 309 310 333 334
-254 309 310 325 326
-255 325 326 317 318
-256 333 334 317 318
-257 1 2 75 76
-258 1 2 5 6
-259 110 5 6 109
-260 110 233 234 109
-261 233 234 249 250
-262 201 202 249 250
-263 201 202 137 138
-264 137 138 73 74
-265 3 4 73 74
-266 3 4 7 8
-267 111 112 7 8
-268 111 112 235 236
-269 235 236 251 252
-270 203 204 251 252
-271 203 204 139 140
-272 139 140 75 76
-273 88 2 3 87
-274 2 13 3 14
-275 13 14 141 142
-276 242 141 142 241
-277 242 250 251 241
-278 181 182 250 251
-279 181 182 117 118
-280 117 85 118 86
-281 1 4 85 86
-282 1 4 15 16
-283 143 144 15 16
-284 143 144 243 244
-285 243 244 249 252
-286 183 249 184 252
-287 183 184 119 120
-288 88 119 87 120
-289 6 7 31 32
-290 6 17 7 18
-291 57 58 17 18
-292 57 58 53 54
-293 202 203 53 54
-294 202 203 225 226
-295 89 90 225 226
-296 89 90 29 30
-297 5 29 8 30
-298 5 8 19 20
-299 59 60 19 20
-300 55 56 59 60
-301 55 56 201 204
-302 201 204 227 228
-303 91 92 227 228
-304 91 92 31 32
-305 39 40 9 10
-306 22 9 10 21
-307 22 125 126 21
-308 245 125 246 126
-309 253 254 245 246
-310 165 253 166 254
-311 165 166 93 94
-312 37 38 93 94
-313 11 12 37 38
-314 11 12 23 24
-315 23 24 127 128
-316 247 127 248 128
-317 255 256 247 248
-318 167 255 168 256
-319 167 168 95 96
-320 39 40 95 96
-321 11 71 72 10
-322 11 25 26 10
-323 25 26 105 106
-324 105 237 106 238
-325 254 255 237 238
-326 198 254 255 197
-327 198 133 134 197
-328 133 134 69 70
-329 12 69 70 9
-330 12 27 28 9
-331 27 28 107 108
-332 107 239 108 240
-333 253 256 239 240
-334 253 199 200 256
-335 199 200 135 136
-336 135 136 71 72
-337 56 14 15 53
-338 33 34 14 15
-339 33 66 34 65
-340 66 30 31 65
-341 182 183 30 31
-342 182 183 229 230
-343 121 122 229 230
-344 55 121 122 54
-345 55 13 16 54
-346 13 35 36 16
-347 67 35 68 36
-348 67 68 29 32
-349 181 29 184 32
-350 231 232 181 184
-351 231 232 123 124
-352 56 123 124 53
-353 155 156 18 19
-354 38 39 18 19
-355 189 190 38 39
-356 177 178 189 190
-357 177 178 226 227
-358 246 247 226 227
-359 213 246 214 247
-360 154 213 214 153
-361 154 17 20 153
-362 37 17 40 20
-363 37 191 192 40
-364 179 180 191 192
-365 179 180 225 228
-366 245 225 248 228
-367 245 215 248 216
-368 155 156 215 216
-369 22 23 63 64
-370 22 23 41 42
-371 77 78 41 42
-372 77 45 78 46
-373 45 166 46 167
-374 166 167 217 218
-375 129 217 130 218
-376 61 62 129 130
-377 24 61 62 21
-378 44 24 21 43
-379 44 79 80 43
-380 79 47 80 48
-381 165 47 168 48
-382 165 220 168 219
-383 132 220 131 219
-384 132 63 64 131
-385 26 27 51 52
-386 46 47 26 27
-387 46 47 97 98
-388 221 222 97 98
-389 198 199 221 222
-390 198 199 62 63
-391 81 82 62 63
-392 81 49 82 50
-393 25 49 28 50
-394 45 25 48 28
-395 99 45 100 48
-396 99 100 223 224
-397 200 223 224 197
-398 200 61 64 197
-399 61 83 84 64
-400 83 51 84 52
-401 34 35 159 160
-402 34 35 70 71
-403 70 71 214 215
-404 214 215 205 206
-405 231 205 206 230
-406 231 238 239 230
-407 190 191 238 239
-408 157 190 158 191
-409 33 36 157 158
-410 33 36 69 72
-411 69 213 72 216
-412 213 216 207 208
-413 232 207 229 208
-414 232 237 229 240
-415 189 192 237 240
-416 189 159 192 160
-417 147 148 42 43
-418 74 42 75 43
-419 209 210 74 75
-420 209 210 193 194
-421 193 194 218 219
-422 234 235 218 219
-423 234 235 185 186
-424 145 146 185 186
-425 44 145 146 41
-426 44 73 41 76
-427 211 212 73 76
-428 211 212 195 196
-429 220 195 217 196
-430 220 233 236 217
-431 187 188 233 236
-432 187 188 147 148
-433 50 51 151 152
-434 50 51 86 87
-435 187 86 87 186
-436 187 173 174 186
-437 222 223 173 174
-438 242 243 222 223
-439 242 210 243 211
-440 210 211 149 150
-441 49 149 150 52
-442 88 49 52 85
-443 88 188 85 185
-444 176 188 185 175
-445 176 221 224 175
-446 221 244 224 241
-447 209 244 212 241
-448 209 212 151 152
-449 58 59 125 128
-450 101 58 102 59
-451 101 102 146 147
-452 146 147 94 95
-453 90 91 94 95
-454 90 91 161 162
-455 161 194 162 195
-456 126 127 194 195
-457 57 60 126 127
-458 57 103 60 104
-459 145 103 104 148
-460 145 93 148 96
-461 89 92 93 96
-462 89 92 163 164
-463 193 163 196 164
-464 125 193 128 196
-465 66 67 105 108
-466 66 67 102 103
-467 102 103 150 151
-468 134 135 150 151
-469 122 123 134 135
-470 122 123 162 163
-471 162 163 174 175
-472 106 107 174 175
-473 68 106 107 65
-474 68 101 104 65
-475 101 104 149 152
-476 133 136 149 152
-477 121 133 124 136
-478 121 124 161 164
-479 176 161 173 164
-480 176 105 173 108
-481 78 79 115 116
-482 110 78 111 79
-483 110 111 178 179
-484 178 179 169 170
-485 169 170 130 131
-486 138 139 130 131
-487 154 155 138 139
-488 154 155 113 114
-489 77 80 113 114
-490 77 112 80 109
-491 177 112 180 109
-492 177 180 171 172
-493 132 171 172 129
-494 132 137 129 140
-495 156 137 140 153
-496 156 115 116 153
-497 144 82 83 141
-498 114 82 115 83
-499 114 158 115 159
-500 158 159 118 119
-501 99 118 119 98
-502 99 170 171 98
-503 170 171 206 207
-504 143 206 207 142
-505 143 81 84 142
-506 113 81 116 84
-507 113 157 116 160
-508 157 160 117 120
-509 100 117 97 120
-510 100 169 172 97
-511 169 172 205 208
-512 144 205 141 208
0