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