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