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