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