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