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