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