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