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