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