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