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