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