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