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