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