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