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