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