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