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