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