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