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