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