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