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