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