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