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