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