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