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