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