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