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