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