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