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