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