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