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