-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathnet_2_normalization.nb
More file actions
1239 lines (1202 loc) · 56.2 KB
/
Copy pathnet_2_normalization.nb
File metadata and controls
1239 lines (1202 loc) · 56.2 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
(* Content-type: application/vnd.wolfram.mathematica *)
(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)
(* CreatedBy='Mathematica 9.0' *)
(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[ 157, 7]
NotebookDataLength[ 56072, 1230]
NotebookOptionsPosition[ 54670, 1177]
NotebookOutlinePosition[ 55016, 1192]
CellTagsIndexPosition[ 54973, 1189]
WindowFrame->Normal*)
(* Beginning of Notebook Content *)
Notebook[{
Cell[CellGroupData[{
Cell["\<\
Net 2 normalization improvement\
\>", "Title",
CellChangeTimes->{{3.6104638661153445`*^9, 3.610463886158862*^9}}],
Cell[CellGroupData[{
Cell["Load Network", "Section",
CellChangeTimes->{{3.610463892342568*^9, 3.6104639180252905`*^9}}],
Cell[BoxData[
RowBox[{
RowBox[{"home", " ", "=", " ", "\"\<D:/\>\""}], ";"}]], "Input",
CellChangeTimes->{{3.610463920448527*^9, 3.6104639444416866`*^9}}],
Cell[BoxData[
RowBox[{
RowBox[{"rdata", "=",
RowBox[{"ReadList", "[",
RowBox[{
RowBox[{"home", "<>", "\"\</recheck/net2_raw.txt\>\""}], ",",
RowBox[{"{",
RowBox[{
"Number", ",", "Number", ",", "Real", ",", "Real", ",", "Real", ",",
"Real", ",", "Real", ",", "Real"}], "}"}]}], "]"}]}], ";"}]], "Input"],
Cell[BoxData[
RowBox[{
RowBox[{"rgood", "=",
RowBox[{"Select", "[",
RowBox[{"rdata", ",",
RowBox[{
RowBox[{
RowBox[{"#", "[",
RowBox[{"[", "2", "]"}], "]"}], ">", "100"}], "&"}]}], "]"}]}], ";",
RowBox[{"newgood", "=", "rgood"}], ";"}]], "Input",
CellChangeTimes->{{3.610463971246443*^9, 3.610463975087991*^9}}],
Cell[BoxData[{
RowBox[{
RowBox[{
RowBox[{"rgood", "[",
RowBox[{"[",
RowBox[{"All", ",", "5"}], "]"}], "]"}], "=",
RowBox[{
RowBox[{"Sqrt", "[",
RowBox[{"rgood", "[",
RowBox[{"[",
RowBox[{"All", ",", "5"}], "]"}], "]"}], "]"}], "/",
RowBox[{"Abs", "[",
RowBox[{"rgood", "[",
RowBox[{"[",
RowBox[{"All", ",", "8"}], "]"}], "]"}], "]"}]}]}],
";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"rgood", "[",
RowBox[{"[",
RowBox[{"All", ",", "3"}], "]"}], "]"}], "=",
RowBox[{
RowBox[{"Sqrt", "[",
RowBox[{"rgood", "[",
RowBox[{"[",
RowBox[{"All", ",", "3"}], "]"}], "]"}], "]"}], "/",
RowBox[{"Abs", "[",
RowBox[{"rgood", "[",
RowBox[{"[",
RowBox[{"All", ",", "8"}], "]"}], "]"}], "]"}]}]}],
";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"rgood", "[",
RowBox[{"[",
RowBox[{"All", ",", "4"}], "]"}], "]"}], "=",
RowBox[{
RowBox[{"Sqrt", "[",
RowBox[{"rgood", "[",
RowBox[{"[",
RowBox[{"All", ",", "4"}], "]"}], "]"}], "]"}], "/",
RowBox[{"Abs", "[",
RowBox[{"rgood", "[",
RowBox[{"[",
RowBox[{"All", ",", "8"}], "]"}], "]"}], "]"}]}]}], ";",
RowBox[{
RowBox[{"newgood", "[",
RowBox[{"[",
RowBox[{"All", ",", "5"}], "]"}], "]"}], "=",
RowBox[{
RowBox[{"Sqrt", "[",
RowBox[{"newgood", "[",
RowBox[{"[",
RowBox[{"All", ",", "5"}], "]"}], "]"}], "]"}], "/",
RowBox[{"(",
RowBox[{"Abs", "[",
RowBox[{"newgood", "[",
RowBox[{"[",
RowBox[{"All", ",", "8"}], "]"}], "]"}], "]"}], ")"}]}]}],
";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"newgood", "[",
RowBox[{"[",
RowBox[{"All", ",", "3"}], "]"}], "]"}], "=",
RowBox[{
RowBox[{"Sqrt", "[",
RowBox[{"newgood", "[",
RowBox[{"[",
RowBox[{"All", ",", "3"}], "]"}], "]"}], "]"}], "/",
RowBox[{"(",
RowBox[{
RowBox[{"Abs", "[",
RowBox[{"newgood", "[",
RowBox[{"[",
RowBox[{"All", ",", "8"}], "]"}], "]"}], "]"}], "+", "1"}],
")"}]}]}], ";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"newgood", "[",
RowBox[{"[",
RowBox[{"All", ",", "4"}], "]"}], "]"}], "=",
RowBox[{
RowBox[{"Sqrt", "[",
RowBox[{"newgood", "[",
RowBox[{"[",
RowBox[{"All", ",", "4"}], "]"}], "]"}], "]"}], "/",
RowBox[{"(",
RowBox[{
RowBox[{"Abs", "[",
RowBox[{"newgood", "[",
RowBox[{"[",
RowBox[{"All", ",", "8"}], "]"}], "]"}], "]"}], "+", "1"}],
")"}]}]}], ";"}]}], "Input",
CellChangeTimes->{{3.6104639943637943`*^9, 3.6104640202186737`*^9}}],
Cell[BoxData[
RowBox[{
RowBox[{"rselected", "=",
RowBox[{"Select", "[",
RowBox[{"rgood", ",",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"Total", "[",
RowBox[{"#", "[",
RowBox[{"[",
RowBox[{"3", ";;", "5"}], "]"}], "]"}], "]"}], "<", "1.5"}], "&&",
RowBox[{
RowBox[{"Quotient", "[",
RowBox[{
RowBox[{"#", "[",
RowBox[{"[", "1", "]"}], "]"}], ",", "10000"}], "]"}],
"\[NotEqual]",
RowBox[{"Mod", "[",
RowBox[{
RowBox[{"#", "[",
RowBox[{"[", "1", "]"}], "]"}], ",", "10000"}], "]"}]}]}], "&"}]}],
"]"}]}], ";",
RowBox[{"rgraph", "=",
RowBox[{"Graph", "[",
RowBox[{
RowBox[{"Map", "[",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"Quotient", "[",
RowBox[{
RowBox[{"#", "[",
RowBox[{"[", "1", "]"}], "]"}], ",", "10000"}], "]"}],
"\[UndirectedEdge]",
RowBox[{"Mod", "[",
RowBox[{
RowBox[{"#", "[",
RowBox[{"[", "1", "]"}], "]"}], ",", "10000"}], "]"}]}], "&"}],
",", "rselected"}], "]"}], ",",
RowBox[{"VertexLabels", "\[Rule]", "\"\<Name\>\""}]}], "]"}]}],
";"}]], "Input"],
Cell[BoxData[
RowBox[{
RowBox[{"newselected", "=",
RowBox[{"Select", "[",
RowBox[{"rgood1", ",",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"Total", "[",
RowBox[{"#", "[",
RowBox[{"[",
RowBox[{"3", ";;", "5"}], "]"}], "]"}], "]"}], "<", "1"}], "&&",
RowBox[{
RowBox[{"Quotient", "[",
RowBox[{
RowBox[{"#", "[",
RowBox[{"[", "1", "]"}], "]"}], ",", "10000"}], "]"}],
"\[NotEqual]",
RowBox[{"Mod", "[",
RowBox[{
RowBox[{"#", "[",
RowBox[{"[", "1", "]"}], "]"}], ",", "10000"}], "]"}]}]}], "&"}]}],
"]"}]}], ";",
RowBox[{"newgraph", "=",
RowBox[{"Graph", "[",
RowBox[{
RowBox[{"Map", "[",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"Quotient", "[",
RowBox[{
RowBox[{"#", "[",
RowBox[{"[", "1", "]"}], "]"}], ",", "10000"}], "]"}],
"\[UndirectedEdge]",
RowBox[{"Mod", "[",
RowBox[{
RowBox[{"#", "[",
RowBox[{"[", "1", "]"}], "]"}], ",", "10000"}], "]"}]}], "&"}],
",", "newselected"}], "]"}], ",",
RowBox[{"VertexLabels", "\[Rule]", "\"\<Name\>\""}]}], "]"}]}],
";"}]], "Input",
CellChangeTimes->{{3.610464041588411*^9, 3.6104640657917643`*^9}}],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{
RowBox[{"goodedges", "=",
RowBox[{"Complement", "[",
RowBox[{
RowBox[{"newgraph", "//", "EdgeList"}], ",",
RowBox[{"rgraph", "//", "EdgeList"}]}], "]"}]}], ";",
RowBox[{"goodedges", "//", "Length"}]}]], "Input",
CellChangeTimes->{{3.6104640733327293`*^9, 3.6104641107572947`*^9}, {
3.610464140865102*^9, 3.6104641575224867`*^9}, {3.610464195076171*^9,
3.6104642044908657`*^9}}],
Cell[BoxData["868"], "Output",
CellChangeTimes->{
3.6104641140243115`*^9, {3.610464149339929*^9, 3.610464157837778*^9},
3.610464205054388*^9}]
}, Open ]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{
RowBox[{"badedges", "=",
RowBox[{"Complement", "[",
RowBox[{
RowBox[{"rgraph", "//", "EdgeList"}], ",",
RowBox[{"newgraph", "//", "EdgeList"}]}], "]"}]}], ";",
RowBox[{"badedges", "//", "Length"}]}]], "Input",
CellChangeTimes->{{3.610464165222598*^9, 3.6104641723111453`*^9}, {
3.610464210704605*^9, 3.6104642182695923`*^9}}],
Cell[BoxData["769"], "Output",
CellChangeTimes->{3.6104641730438623`*^9, 3.6104642189282017`*^9}]
}, Open ]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"Union", "[",
RowBox[{
RowBox[{
RowBox[{"#", "[",
RowBox[{"[", "1", "]"}], "]"}], "&"}], "/@", "goodedges"}],
"]"}]], "Input",
CellChangeTimes->{{3.6104642217317896`*^9, 3.6104642674740367`*^9}}],
Cell[BoxData[
RowBox[{"{",
RowBox[{
"1", ",", "3", ",", "14", ",", "18", ",", "20", ",", "23", ",", "28", ",",
"33", ",", "39", ",", "41", ",", "45", ",", "48", ",", "51", ",", "55",
",", "59", ",", "60", ",", "64", ",", "65", ",", "68", ",", "86", ",",
"91", ",", "95", ",", "100", ",", "102", ",", "104", ",", "107", ",",
"110", ",", "113", ",", "118", ",", "120", ",", "127", ",", "130", ",",
"133", ",", "134", ",", "141", ",", "144", ",", "147", ",", "148", ",",
"151", ",", "156", ",", "160", ",", "161", ",", "162", ",", "168", ",",
"178", ",", "179", ",", "184", ",", "186", ",", "189", ",", "190", ",",
"195", ",", "200", ",", "207", ",", "208", ",", "217", ",", "220", ",",
"222", ",", "223", ",", "227", ",", "238", ",", "245", ",", "248", ",",
"252", ",", "254", ",", "261", ",", "262", ",", "263", ",", "269", ",",
"271", ",", "283", ",", "284", ",", "286", ",", "294", ",", "299", ",",
"302", ",", "303", ",", "305", ",", "310", ",", "313", ",", "314", ",",
"330", ",", "334", ",", "338", ",", "348", ",", "351", ",", "352", ",",
"354", ",", "362", ",", "363", ",", "371", ",", "383", ",", "385", ",",
"387", ",", "397", ",", "399", ",", "404", ",", "408", ",", "414", ",",
"418", ",", "422", ",", "423", ",", "424", ",", "425", ",", "426", ",",
"429", ",", "431", ",", "433", ",", "434", ",", "435", ",", "446", ",",
"451", ",", "465", ",", "467", ",", "470", ",", "472", ",", "484", ",",
"487", ",", "492", ",", "496", ",", "503", ",", "505", ",", "506", ",",
"512", ",", "513", ",", "517", ",", "518", ",", "523", ",", "528", ",",
"532", ",", "536", ",", "538", ",", "541", ",", "556", ",", "559", ",",
"568", ",", "570", ",", "573", ",", "580", ",", "583", ",", "585", ",",
"599", ",", "600", ",", "601", ",", "604", ",", "605", ",", "607", ",",
"609", ",", "613", ",", "615", ",", "637", ",", "638", ",", "643", ",",
"645", ",", "649", ",", "650", ",", "660", ",", "670", ",", "685", ",",
"688", ",", "689", ",", "690", ",", "693", ",", "697", ",", "699", ",",
"701", ",", "702", ",", "706", ",", "707", ",", "709", ",", "710", ",",
"711", ",", "725", ",", "729", ",", "744", ",", "746", ",", "751", ",",
"758", ",", "762", ",", "765", ",", "771", ",", "777", ",", "782", ",",
"783", ",", "785", ",", "786", ",", "787", ",", "793", ",", "800", ",",
"804", ",", "806", ",", "810", ",", "813", ",", "816", ",", "827", ",",
"828", ",", "831", ",", "833", ",", "839", ",", "841", ",", "847", ",",
"854", ",", "861", ",", "866", ",", "884", ",", "886", ",", "918", ",",
"919", ",", "923", ",", "924", ",", "954", ",", "968"}], "}"}]], "Output",
CellChangeTimes->{
3.6104641845844803`*^9, {3.6104642240439253`*^9, 3.6104642677352777`*^9}}]
}, Open ]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"Mean", "[",
RowBox[{"Select", "[",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"s", "[", "#", "]"}], "&"}], "/@",
RowBox[{"Union", "[",
RowBox[{
RowBox[{
RowBox[{"#", "[",
RowBox[{"[", "1", "]"}], "]"}], "&"}], "/@", "goodedges"}], "]"}]}],
",", "NumberQ"}], "]"}], "]"}]], "Input",
CellChangeTimes->{{3.61046542728323*^9, 3.6104654705992355`*^9}}],
Cell[BoxData["0.4205181243243244`"], "Output",
CellChangeTimes->{{3.610465437076274*^9, 3.6104654709125247`*^9}}]
}, Open ]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"Mean", "[",
RowBox[{"Select", "[",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"s", "[", "#", "]"}], "&"}], "/@",
RowBox[{"Union", "[",
RowBox[{
RowBox[{
RowBox[{"#", "[",
RowBox[{"[", "1", "]"}], "]"}], "&"}], "/@", "badedges"}], "]"}]}],
",", "NumberQ"}], "]"}], "]"}]], "Input",
CellChangeTimes->{{3.6104654784324703`*^9, 3.610465479163145*^9}}],
Cell[BoxData["0.3253720412844037`"], "Output",
CellChangeTimes->{3.6104654796425877`*^9}]
}, Open ]],
Cell[BoxData[""], "Input",
CellChangeTimes->{{3.610465489105327*^9, 3.610465490519635*^9}}],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"Mean", "[",
RowBox[{"Select", "[",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"s", "[", "#", "]"}], "&"}], "/@",
RowBox[{"Range", "[", "1006", "]"}]}], ",", "NumberQ"}], "]"}],
"]"}]], "Input",
CellChangeTimes->{{3.610465496977598*^9, 3.6104655153475647`*^9}}],
Cell[BoxData["0.39113097991967893`"], "Output",
CellChangeTimes->{{3.6104655004377937`*^9, 3.610465517210285*^9}}]
}, Open ]],
Cell[CellGroupData[{
Cell[BoxData["badedges"], "Input",
CellChangeTimes->{{3.6104655313623557`*^9, 3.610465532339258*^9}}],
Cell[BoxData[
RowBox[{"{",
RowBox[{
RowBox[{"7", "\[UndirectedEdge]", "512"}], ",",
RowBox[{"8", "\[UndirectedEdge]", "398"}], ",",
RowBox[{"10", "\[UndirectedEdge]", "107"}], ",",
RowBox[{"10", "\[UndirectedEdge]", "133"}], ",",
RowBox[{"10", "\[UndirectedEdge]", "362"}], ",",
RowBox[{"10", "\[UndirectedEdge]", "513"}], ",",
RowBox[{"10", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"10", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"10", "\[UndirectedEdge]", "942"}], ",",
RowBox[{"11", "\[UndirectedEdge]", "133"}], ",",
RowBox[{"11", "\[UndirectedEdge]", "200"}], ",",
RowBox[{"11", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"11", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"13", "\[UndirectedEdge]", "60"}], ",",
RowBox[{"13", "\[UndirectedEdge]", "107"}], ",",
RowBox[{"13", "\[UndirectedEdge]", "896"}], ",",
RowBox[{"17", "\[UndirectedEdge]", "172"}], ",",
RowBox[{"17", "\[UndirectedEdge]", "302"}], ",",
RowBox[{"17", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"17", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"17", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"17", "\[UndirectedEdge]", "792"}], ",",
RowBox[{"17", "\[UndirectedEdge]", "822"}], ",",
RowBox[{"17", "\[UndirectedEdge]", "827"}], ",",
RowBox[{"17", "\[UndirectedEdge]", "918"}], ",",
RowBox[{"17", "\[UndirectedEdge]", "961"}], ",",
RowBox[{"18", "\[UndirectedEdge]", "33"}], ",",
RowBox[{"18", "\[UndirectedEdge]", "385"}], ",",
RowBox[{"18", "\[UndirectedEdge]", "586"}], ",",
RowBox[{"22", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"22", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"22", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"23", "\[UndirectedEdge]", "107"}], ",",
RowBox[{"23", "\[UndirectedEdge]", "190"}], ",",
RowBox[{"23", "\[UndirectedEdge]", "302"}], ",",
RowBox[{"23", "\[UndirectedEdge]", "828"}], ",",
RowBox[{"23", "\[UndirectedEdge]", "896"}], ",",
RowBox[{"23", "\[UndirectedEdge]", "919"}], ",",
RowBox[{"23", "\[UndirectedEdge]", "982"}], ",",
RowBox[{"23", "\[UndirectedEdge]", "987"}], ",",
RowBox[{"25", "\[UndirectedEdge]", "107"}], ",",
RowBox[{"25", "\[UndirectedEdge]", "133"}], ",",
RowBox[{"25", "\[UndirectedEdge]", "200"}], ",",
RowBox[{"25", "\[UndirectedEdge]", "245"}], ",",
RowBox[{"25", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"25", "\[UndirectedEdge]", "508"}], ",",
RowBox[{"25", "\[UndirectedEdge]", "777"}], ",",
RowBox[{"25", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"25", "\[UndirectedEdge]", "816"}], ",",
RowBox[{"25", "\[UndirectedEdge]", "841"}], ",",
RowBox[{"29", "\[UndirectedEdge]", "133"}], ",",
RowBox[{"29", "\[UndirectedEdge]", "152"}], ",",
RowBox[{"29", "\[UndirectedEdge]", "200"}], ",",
RowBox[{"29", "\[UndirectedEdge]", "245"}], ",",
RowBox[{"29", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"29", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"29", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"29", "\[UndirectedEdge]", "777"}], ",",
RowBox[{"29", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"34", "\[UndirectedEdge]", "107"}], ",",
RowBox[{"34", "\[UndirectedEdge]", "152"}], ",",
RowBox[{"34", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"34", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"34", "\[UndirectedEdge]", "577"}], ",",
RowBox[{"34", "\[UndirectedEdge]", "580"}], ",",
RowBox[{"34", "\[UndirectedEdge]", "762"}], ",",
RowBox[{"34", "\[UndirectedEdge]", "942"}], ",",
RowBox[{"35", "\[UndirectedEdge]", "60"}], ",",
RowBox[{"35", "\[UndirectedEdge]", "107"}], ",",
RowBox[{"35", "\[UndirectedEdge]", "245"}], ",",
RowBox[{"35", "\[UndirectedEdge]", "566"}], ",",
RowBox[{"35", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"35", "\[UndirectedEdge]", "987"}], ",",
RowBox[{"42", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"44", "\[UndirectedEdge]", "64"}], ",",
RowBox[{"45", "\[UndirectedEdge]", "147"}], ",",
RowBox[{"45", "\[UndirectedEdge]", "1004"}], ",",
RowBox[{"46", "\[UndirectedEdge]", "60"}], ",",
RowBox[{"46", "\[UndirectedEdge]", "200"}], ",",
RowBox[{"46", "\[UndirectedEdge]", "245"}], ",",
RowBox[{"46", "\[UndirectedEdge]", "580"}], ",",
RowBox[{"46", "\[UndirectedEdge]", "896"}], ",",
RowBox[{"46", "\[UndirectedEdge]", "919"}], ",",
RowBox[{"49", "\[UndirectedEdge]", "60"}], ",",
RowBox[{"50", "\[UndirectedEdge]", "60"}], ",",
RowBox[{"50", "\[UndirectedEdge]", "508"}], ",",
RowBox[{"50", "\[UndirectedEdge]", "751"}], ",",
RowBox[{"50", "\[UndirectedEdge]", "896"}], ",",
RowBox[{"52", "\[UndirectedEdge]", "262"}], ",",
RowBox[{"52", "\[UndirectedEdge]", "566"}], ",",
RowBox[{"52", "\[UndirectedEdge]", "710"}], ",",
RowBox[{"53", "\[UndirectedEdge]", "841"}], ",",
RowBox[{"56", "\[UndirectedEdge]", "127"}], ",",
RowBox[{"57", "\[UndirectedEdge]", "60"}], ",",
RowBox[{"57", "\[UndirectedEdge]", "68"}], ",",
RowBox[{"57", "\[UndirectedEdge]", "107"}], ",",
RowBox[{"57", "\[UndirectedEdge]", "133"}], ",",
RowBox[{"57", "\[UndirectedEdge]", "152"}], ",",
RowBox[{"57", "\[UndirectedEdge]", "172"}], ",",
RowBox[{"57", "\[UndirectedEdge]", "200"}], ",",
RowBox[{"57", "\[UndirectedEdge]", "245"}], ",",
RowBox[{"57", "\[UndirectedEdge]", "306"}], ",",
RowBox[{"57", "\[UndirectedEdge]", "422"}], ",",
RowBox[{"57", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"57", "\[UndirectedEdge]", "577"}], ",",
RowBox[{"57", "\[UndirectedEdge]", "786"}], ",",
RowBox[{"57", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"57", "\[UndirectedEdge]", "841"}], ",",
RowBox[{"57", "\[UndirectedEdge]", "896"}], ",",
RowBox[{"57", "\[UndirectedEdge]", "978"}], ",",
RowBox[{"57", "\[UndirectedEdge]", "1004"}], ",",
RowBox[{"72", "\[UndirectedEdge]", "107"}], ",",
RowBox[{"72", "\[UndirectedEdge]", "151"}], ",",
RowBox[{"72", "\[UndirectedEdge]", "186"}], ",",
RowBox[{"72", "\[UndirectedEdge]", "245"}], ",",
RowBox[{"72", "\[UndirectedEdge]", "585"}], ",",
RowBox[{"72", "\[UndirectedEdge]", "762"}], ",",
RowBox[{"72", "\[UndirectedEdge]", "777"}], ",",
RowBox[{"72", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"72", "\[UndirectedEdge]", "816"}], ",",
RowBox[{"72", "\[UndirectedEdge]", "841"}], ",",
RowBox[{"72", "\[UndirectedEdge]", "920"}], ",",
RowBox[{"72", "\[UndirectedEdge]", "978"}], ",",
RowBox[{"72", "\[UndirectedEdge]", "982"}], ",",
RowBox[{"73", "\[UndirectedEdge]", "262"}], ",",
RowBox[{"73", "\[UndirectedEdge]", "883"}], ",",
RowBox[{"73", "\[UndirectedEdge]", "951"}], ",",
RowBox[{"74", "\[UndirectedEdge]", "107"}], ",",
RowBox[{"74", "\[UndirectedEdge]", "133"}], ",",
RowBox[{"74", "\[UndirectedEdge]", "152"}], ",",
RowBox[{"74", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"74", "\[UndirectedEdge]", "513"}], ",",
RowBox[{"74", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"74", "\[UndirectedEdge]", "580"}], ",",
RowBox[{"74", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"74", "\[UndirectedEdge]", "748"}], ",",
RowBox[{"74", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"74", "\[UndirectedEdge]", "987"}], ",",
RowBox[{"76", "\[UndirectedEdge]", "422"}], ",",
RowBox[{"76", "\[UndirectedEdge]", "841"}], ",",
RowBox[{"76", "\[UndirectedEdge]", "982"}], ",",
RowBox[{"84", "\[UndirectedEdge]", "133"}], ",",
RowBox[{"91", "\[UndirectedEdge]", "107"}], ",",
RowBox[{"91", "\[UndirectedEdge]", "245"}], ",",
RowBox[{"91", "\[UndirectedEdge]", "385"}], ",",
RowBox[{"91", "\[UndirectedEdge]", "580"}], ",",
RowBox[{"91", "\[UndirectedEdge]", "841"}], ",",
RowBox[{"93", "\[UndirectedEdge]", "107"}], ",",
RowBox[{"93", "\[UndirectedEdge]", "200"}], ",",
RowBox[{"93", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"93", "\[UndirectedEdge]", "513"}], ",",
RowBox[{"93", "\[UndirectedEdge]", "560"}], ",",
RowBox[{"93", "\[UndirectedEdge]", "580"}], ",",
RowBox[{"93", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"93", "\[UndirectedEdge]", "987"}], ",",
RowBox[{"95", "\[UndirectedEdge]", "816"}], ",",
RowBox[{"98", "\[UndirectedEdge]", "172"}], ",",
RowBox[{"98", "\[UndirectedEdge]", "513"}], ",",
RowBox[{"98", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"98", "\[UndirectedEdge]", "663"}], ",",
RowBox[{"98", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"98", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"98", "\[UndirectedEdge]", "987"}], ",",
RowBox[{"100", "\[UndirectedEdge]", "710"}], ",",
RowBox[{"103", "\[UndirectedEdge]", "107"}], ",",
RowBox[{"103", "\[UndirectedEdge]", "152"}], ",",
RowBox[{"103", "\[UndirectedEdge]", "184"}], ",",
RowBox[{"103", "\[UndirectedEdge]", "245"}], ",",
RowBox[{"103", "\[UndirectedEdge]", "262"}], ",",
RowBox[{"103", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"103", "\[UndirectedEdge]", "914"}], ",",
RowBox[{"103", "\[UndirectedEdge]", "987"}], ",",
RowBox[{"104", "\[UndirectedEdge]", "398"}], ",",
RowBox[{"105", "\[UndirectedEdge]", "184"}], ",",
RowBox[{"109", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"112", "\[UndirectedEdge]", "127"}], ",",
RowBox[{"112", "\[UndirectedEdge]", "262"}], ",",
RowBox[{"112", "\[UndirectedEdge]", "385"}], ",",
RowBox[{"115", "\[UndirectedEdge]", "580"}], ",",
RowBox[{"115", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"117", "\[UndirectedEdge]", "152"}], ",",
RowBox[{"117", "\[UndirectedEdge]", "172"}], ",",
RowBox[{"117", "\[UndirectedEdge]", "190"}], ",",
RowBox[{"117", "\[UndirectedEdge]", "200"}], ",",
RowBox[{"117", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"117", "\[UndirectedEdge]", "513"}], ",",
RowBox[{"117", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"117", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"117", "\[UndirectedEdge]", "729"}], ",",
RowBox[{"117", "\[UndirectedEdge]", "827"}], ",",
RowBox[{"117", "\[UndirectedEdge]", "987"}], ",",
RowBox[{"119", "\[UndirectedEdge]", "421"}], ",",
RowBox[{"119", "\[UndirectedEdge]", "690"}], ",",
RowBox[{"125", "\[UndirectedEdge]", "200"}], ",",
RowBox[{"125", "\[UndirectedEdge]", "580"}], ",",
RowBox[{"125", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"125", "\[UndirectedEdge]", "896"}], ",",
RowBox[{"128", "\[UndirectedEdge]", "152"}], ",",
RowBox[{"128", "\[UndirectedEdge]", "200"}], ",",
RowBox[{"128", "\[UndirectedEdge]", "580"}], ",",
RowBox[{"128", "\[UndirectedEdge]", "762"}], ",",
RowBox[{"128", "\[UndirectedEdge]", "777"}], ",",
RowBox[{"128", "\[UndirectedEdge]", "786"}], ",",
RowBox[{"128", "\[UndirectedEdge]", "987"}], ",",
RowBox[{"131", "\[UndirectedEdge]", "154"}], ",",
RowBox[{"131", "\[UndirectedEdge]", "184"}], ",",
RowBox[{"131", "\[UndirectedEdge]", "200"}], ",",
RowBox[{"131", "\[UndirectedEdge]", "262"}], ",",
RowBox[{"131", "\[UndirectedEdge]", "777"}], ",",
RowBox[{"131", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"137", "\[UndirectedEdge]", "152"}], ",",
RowBox[{"137", "\[UndirectedEdge]", "262"}], ",",
RowBox[{"137", "\[UndirectedEdge]", "508"}], ",",
RowBox[{"137", "\[UndirectedEdge]", "566"}], ",",
RowBox[{"137", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"137", "\[UndirectedEdge]", "777"}], ",",
RowBox[{"142", "\[UndirectedEdge]", "152"}], ",",
RowBox[{"142", "\[UndirectedEdge]", "262"}], ",",
RowBox[{"142", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"142", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"145", "\[UndirectedEdge]", "200"}], ",",
RowBox[{"145", "\[UndirectedEdge]", "245"}], ",",
RowBox[{"145", "\[UndirectedEdge]", "580"}], ",",
RowBox[{"145", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"145", "\[UndirectedEdge]", "762"}], ",",
RowBox[{"145", "\[UndirectedEdge]", "786"}], ",",
RowBox[{"145", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"145", "\[UndirectedEdge]", "919"}], ",",
RowBox[{"145", "\[UndirectedEdge]", "987"}], ",",
RowBox[{"149", "\[UndirectedEdge]", "151"}], ",",
RowBox[{"149", "\[UndirectedEdge]", "636"}], ",",
RowBox[{"149", "\[UndirectedEdge]", "702"}], ",",
RowBox[{"149", "\[UndirectedEdge]", "786"}], ",",
RowBox[{"149", "\[UndirectedEdge]", "816"}], ",",
RowBox[{"149", "\[UndirectedEdge]", "841"}], ",",
RowBox[{"149", "\[UndirectedEdge]", "890"}], ",",
RowBox[{"149", "\[UndirectedEdge]", "896"}], ",",
RowBox[{"149", "\[UndirectedEdge]", "919"}], ",",
RowBox[{"149", "\[UndirectedEdge]", "920"}], ",",
RowBox[{"149", "\[UndirectedEdge]", "978"}], ",",
RowBox[{"149", "\[UndirectedEdge]", "1004"}], ",",
RowBox[{"163", "\[UndirectedEdge]", "422"}], ",",
RowBox[{"163", "\[UndirectedEdge]", "508"}], ",",
RowBox[{"163", "\[UndirectedEdge]", "608"}], ",",
RowBox[{"163", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"163", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"163", "\[UndirectedEdge]", "841"}], ",",
RowBox[{"163", "\[UndirectedEdge]", "914"}], ",",
RowBox[{"175", "\[UndirectedEdge]", "200"}], ",",
RowBox[{"175", "\[UndirectedEdge]", "245"}], ",",
RowBox[{"175", "\[UndirectedEdge]", "262"}], ",",
RowBox[{"175", "\[UndirectedEdge]", "513"}], ",",
RowBox[{"175", "\[UndirectedEdge]", "580"}], ",",
RowBox[{"175", "\[UndirectedEdge]", "786"}], ",",
RowBox[{"175", "\[UndirectedEdge]", "827"}], ",",
RowBox[{"175", "\[UndirectedEdge]", "841"}], ",",
RowBox[{"175", "\[UndirectedEdge]", "987"}], ",",
RowBox[{"178", "\[UndirectedEdge]", "670"}], ",",
RowBox[{"178", "\[UndirectedEdge]", "804"}], ",",
RowBox[{"178", "\[UndirectedEdge]", "968"}], ",",
RowBox[{"179", "\[UndirectedEdge]", "224"}], ",",
RowBox[{"179", "\[UndirectedEdge]", "566"}], ",",
RowBox[{"179", "\[UndirectedEdge]", "596"}], ",",
RowBox[{"182", "\[UndirectedEdge]", "762"}], ",",
RowBox[{"182", "\[UndirectedEdge]", "987"}], ",",
RowBox[{"182", "\[UndirectedEdge]", "1004"}], ",",
RowBox[{"188", "\[UndirectedEdge]", "190"}], ",",
RowBox[{"188", "\[UndirectedEdge]", "262"}], ",",
RowBox[{"188", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"188", "\[UndirectedEdge]", "513"}], ",",
RowBox[{"188", "\[UndirectedEdge]", "560"}], ",",
RowBox[{"188", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"188", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"188", "\[UndirectedEdge]", "762"}], ",",
RowBox[{"188", "\[UndirectedEdge]", "987"}], ",",
RowBox[{"191", "\[UndirectedEdge]", "262"}], ",",
RowBox[{"192", "\[UndirectedEdge]", "362"}], ",",
RowBox[{"192", "\[UndirectedEdge]", "422"}], ",",
RowBox[{"192", "\[UndirectedEdge]", "729"}], ",",
RowBox[{"192", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"192", "\[UndirectedEdge]", "841"}], ",",
RowBox[{"192", "\[UndirectedEdge]", "914"}], ",",
RowBox[{"193", "\[UndirectedEdge]", "245"}], ",",
RowBox[{"193", "\[UndirectedEdge]", "262"}], ",",
RowBox[{"193", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"199", "\[UndirectedEdge]", "262"}], ",",
RowBox[{"201", "\[UndirectedEdge]", "262"}], ",",
RowBox[{"201", "\[UndirectedEdge]", "385"}], ",",
RowBox[{"201", "\[UndirectedEdge]", "710"}], ",",
RowBox[{"204", "\[UndirectedEdge]", "777"}], ",",
RowBox[{"204", "\[UndirectedEdge]", "931"}], ",",
RowBox[{"204", "\[UndirectedEdge]", "978"}], ",",
RowBox[{"207", "\[UndirectedEdge]", "262"}], ",",
RowBox[{"207", "\[UndirectedEdge]", "313"}], ",",
RowBox[{"207", "\[UndirectedEdge]", "896"}], ",",
RowBox[{"208", "\[UndirectedEdge]", "566"}], ",",
RowBox[{"209", "\[UndirectedEdge]", "919"}], ",",
RowBox[{"210", "\[UndirectedEdge]", "508"}], ",",
RowBox[{"210", "\[UndirectedEdge]", "707"}], ",",
RowBox[{"212", "\[UndirectedEdge]", "566"}], ",",
RowBox[{"212", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"212", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"212", "\[UndirectedEdge]", "728"}], ",",
RowBox[{"212", "\[UndirectedEdge]", "729"}], ",",
RowBox[{"212", "\[UndirectedEdge]", "762"}], ",",
RowBox[{"212", "\[UndirectedEdge]", "919"}], ",",
RowBox[{"212", "\[UndirectedEdge]", "942"}], ",",
RowBox[{"213", "\[UndirectedEdge]", "245"}], ",",
RowBox[{"213", "\[UndirectedEdge]", "302"}], ",",
RowBox[{"213", "\[UndirectedEdge]", "452"}], ",",
RowBox[{"213", "\[UndirectedEdge]", "508"}], ",",
RowBox[{"213", "\[UndirectedEdge]", "513"}], ",",
RowBox[{"213", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"213", "\[UndirectedEdge]", "580"}], ",",
RowBox[{"213", "\[UndirectedEdge]", "636"}], ",",
RowBox[{"213", "\[UndirectedEdge]", "762"}], ",",
RowBox[{"213", "\[UndirectedEdge]", "777"}], ",",
RowBox[{"213", "\[UndirectedEdge]", "822"}], ",",
RowBox[{"213", "\[UndirectedEdge]", "827"}], ",",
RowBox[{"213", "\[UndirectedEdge]", "891"}], ",",
RowBox[{"213", "\[UndirectedEdge]", "918"}], ",",
RowBox[{"215", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"215", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"223", "\[UndirectedEdge]", "896"}], ",",
RowBox[{"225", "\[UndirectedEdge]", "302"}], ",",
RowBox[{"225", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"225", "\[UndirectedEdge]", "436"}], ",",
RowBox[{"225", "\[UndirectedEdge]", "508"}], ",",
RowBox[{"225", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"225", "\[UndirectedEdge]", "577"}], ",",
RowBox[{"225", "\[UndirectedEdge]", "729"}], ",",
RowBox[{"225", "\[UndirectedEdge]", "748"}], ",",
RowBox[{"225", "\[UndirectedEdge]", "777"}], ",",
RowBox[{"225", "\[UndirectedEdge]", "786"}], ",",
RowBox[{"225", "\[UndirectedEdge]", "792"}], ",",
RowBox[{"225", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"225", "\[UndirectedEdge]", "841"}], ",",
RowBox[{"225", "\[UndirectedEdge]", "931"}], ",",
RowBox[{"226", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"226", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"227", "\[UndirectedEdge]", "314"}], ",",
RowBox[{"227", "\[UndirectedEdge]", "847"}], ",",
RowBox[{"227", "\[UndirectedEdge]", "982"}], ",",
RowBox[{"228", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"228", "\[UndirectedEdge]", "560"}], ",",
RowBox[{"228", "\[UndirectedEdge]", "577"}], ",",
RowBox[{"228", "\[UndirectedEdge]", "833"}], ",",
RowBox[{"233", "\[UndirectedEdge]", "560"}], ",",
RowBox[{"233", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"233", "\[UndirectedEdge]", "827"}], ",",
RowBox[{"233", "\[UndirectedEdge]", "987"}], ",",
RowBox[{"235", "\[UndirectedEdge]", "245"}], ",",
RowBox[{"235", "\[UndirectedEdge]", "816"}], ",",
RowBox[{"237", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"240", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"242", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"244", "\[UndirectedEdge]", "245"}], ",",
RowBox[{"244", "\[UndirectedEdge]", "513"}], ",",
RowBox[{"244", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"244", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"244", "\[UndirectedEdge]", "762"}], ",",
RowBox[{"248", "\[UndirectedEdge]", "314"}], ",",
RowBox[{"250", "\[UndirectedEdge]", "362"}], ",",
RowBox[{"250", "\[UndirectedEdge]", "513"}], ",",
RowBox[{"250", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"250", "\[UndirectedEdge]", "580"}], ",",
RowBox[{"250", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"250", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"250", "\[UndirectedEdge]", "822"}], ",",
RowBox[{"251", "\[UndirectedEdge]", "385"}], ",",
RowBox[{"257", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"257", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"257", "\[UndirectedEdge]", "786"}], ",",
RowBox[{"257", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"261", "\[UndirectedEdge]", "800"}], ",",
RowBox[{"261", "\[UndirectedEdge]", "861"}], ",",
RowBox[{"263", "\[UndirectedEdge]", "422"}], ",",
RowBox[{"263", "\[UndirectedEdge]", "431"}], ",",
RowBox[{"263", "\[UndirectedEdge]", "508"}], ",",
RowBox[{"263", "\[UndirectedEdge]", "560"}], ",",
RowBox[{"263", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"263", "\[UndirectedEdge]", "762"}], ",",
RowBox[{"263", "\[UndirectedEdge]", "777"}], ",",
RowBox[{"263", "\[UndirectedEdge]", "822"}], ",",
RowBox[{"263", "\[UndirectedEdge]", "914"}], ",",
RowBox[{"263", "\[UndirectedEdge]", "920"}], ",",
RowBox[{"263", "\[UndirectedEdge]", "987"}], ",",
RowBox[{"263", "\[UndirectedEdge]", "1004"}], ",",
RowBox[{"264", "\[UndirectedEdge]", "508"}], ",",
RowBox[{"264", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"264", "\[UndirectedEdge]", "748"}], ",",
RowBox[{"264", "\[UndirectedEdge]", "762"}], ",",
RowBox[{"264", "\[UndirectedEdge]", "777"}], ",",
RowBox[{"264", "\[UndirectedEdge]", "827"}], ",",
RowBox[{"265", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"266", "\[UndirectedEdge]", "317"}], ",",
RowBox[{"266", "\[UndirectedEdge]", "385"}], ",",
RowBox[{"271", "\[UndirectedEdge]", "408"}], ",",
RowBox[{"271", "\[UndirectedEdge]", "516"}], ",",
RowBox[{"271", "\[UndirectedEdge]", "777"}], ",",
RowBox[{"272", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"272", "\[UndirectedEdge]", "577"}], ",",
RowBox[{"272", "\[UndirectedEdge]", "580"}], ",",
RowBox[{"272", "\[UndirectedEdge]", "841"}], ",",
RowBox[{"280", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"280", "\[UndirectedEdge]", "786"}], ",",
RowBox[{"283", "\[UndirectedEdge]", "710"}], ",",
RowBox[{"284", "\[UndirectedEdge]", "743"}], ",",
RowBox[{"284", "\[UndirectedEdge]", "816"}], ",",
RowBox[{"285", "\[UndirectedEdge]", "460"}], ",",
RowBox[{"286", "\[UndirectedEdge]", "385"}], ",",
RowBox[{"291", "\[UndirectedEdge]", "896"}], ",",
RowBox[{"291", "\[UndirectedEdge]", "982"}], ",",
RowBox[{"299", "\[UndirectedEdge]", "816"}], ",",
RowBox[{"299", "\[UndirectedEdge]", "872"}], ",",
RowBox[{"300", "\[UndirectedEdge]", "914"}], ",",
RowBox[{"305", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"308", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"308", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"308", "\[UndirectedEdge]", "777"}], ",",
RowBox[{"308", "\[UndirectedEdge]", "786"}], ",",
RowBox[{"308", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"308", "\[UndirectedEdge]", "978"}], ",",
RowBox[{"308", "\[UndirectedEdge]", "987"}], ",",
RowBox[{"311", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"312", "\[UndirectedEdge]", "508"}], ",",
RowBox[{"312", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"312", "\[UndirectedEdge]", "786"}], ",",
RowBox[{"313", "\[UndirectedEdge]", "385"}], ",",
RowBox[{"316", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"316", "\[UndirectedEdge]", "580"}], ",",
RowBox[{"316", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"316", "\[UndirectedEdge]", "919"}], ",",
RowBox[{"320", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"320", "\[UndirectedEdge]", "513"}], ",",
RowBox[{"320", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"320", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"320", "\[UndirectedEdge]", "729"}], ",",
RowBox[{"320", "\[UndirectedEdge]", "748"}], ",",
RowBox[{"320", "\[UndirectedEdge]", "777"}], ",",
RowBox[{"320", "\[UndirectedEdge]", "786"}], ",",
RowBox[{"320", "\[UndirectedEdge]", "822"}], ",",
RowBox[{"321", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"321", "\[UndirectedEdge]", "914"}], ",",
RowBox[{"326", "\[UndirectedEdge]", "777"}], ",",
RowBox[{"326", "\[UndirectedEdge]", "786"}], ",",
RowBox[{"326", "\[UndirectedEdge]", "816"}], ",",
RowBox[{"326", "\[UndirectedEdge]", "987"}], ",",
RowBox[{"330", "\[UndirectedEdge]", "883"}], ",",
RowBox[{"331", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"333", "\[UndirectedEdge]", "580"}], ",",
RowBox[{"333", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"338", "\[UndirectedEdge]", "385"}], ",",
RowBox[{"344", "\[UndirectedEdge]", "508"}], ",",
RowBox[{"344", "\[UndirectedEdge]", "580"}], ",",
RowBox[{"344", "\[UndirectedEdge]", "1004"}], ",",
RowBox[{"348", "\[UndirectedEdge]", "422"}], ",",
RowBox[{"348", "\[UndirectedEdge]", "580"}], ",",
RowBox[{"348", "\[UndirectedEdge]", "777"}], ",",
RowBox[{"348", "\[UndirectedEdge]", "822"}], ",",
RowBox[{"348", "\[UndirectedEdge]", "914"}], ",",
RowBox[{"348", "\[UndirectedEdge]", "987"}], ",",
RowBox[{"352", "\[UndirectedEdge]", "422"}], ",",
RowBox[{"352", "\[UndirectedEdge]", "777"}], ",",
RowBox[{"354", "\[UndirectedEdge]", "919"}], ",",
RowBox[{"360", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"360", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"368", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"368", "\[UndirectedEdge]", "560"}], ",",
RowBox[{"368", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"368", "\[UndirectedEdge]", "585"}], ",",
RowBox[{"368", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"368", "\[UndirectedEdge]", "762"}], ",",
RowBox[{"368", "\[UndirectedEdge]", "777"}], ",",
RowBox[{"368", "\[UndirectedEdge]", "833"}], ",",
RowBox[{"368", "\[UndirectedEdge]", "942"}], ",",
RowBox[{"368", "\[UndirectedEdge]", "987"}], ",",
RowBox[{"372", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"372", "\[UndirectedEdge]", "508"}], ",",
RowBox[{"372", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"372", "\[UndirectedEdge]", "777"}], ",",
RowBox[{"372", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"375", "\[UndirectedEdge]", "422"}], ",",
RowBox[{"375", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"375", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"375", "\[UndirectedEdge]", "690"}], ",",
RowBox[{"375", "\[UndirectedEdge]", "762"}], ",",
RowBox[{"375", "\[UndirectedEdge]", "841"}], ",",
RowBox[{"376", "\[UndirectedEdge]", "707"}], ",",
RowBox[{"376", "\[UndirectedEdge]", "896"}], ",",
RowBox[{"377", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"377", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"377", "\[UndirectedEdge]", "987"}], ",",
RowBox[{"379", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"379", "\[UndirectedEdge]", "914"}], ",",
RowBox[{"379", "\[UndirectedEdge]", "938"}], ",",
RowBox[{"384", "\[UndirectedEdge]", "513"}], ",",
RowBox[{"384", "\[UndirectedEdge]", "580"}], ",",
RowBox[{"384", "\[UndirectedEdge]", "636"}], ",",
RowBox[{"384", "\[UndirectedEdge]", "762"}], ",",
RowBox[{"384", "\[UndirectedEdge]", "777"}], ",",
RowBox[{"384", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"384", "\[UndirectedEdge]", "816"}], ",",
RowBox[{"384", "\[UndirectedEdge]", "896"}], ",",
RowBox[{"386", "\[UndirectedEdge]", "707"}], ",",
RowBox[{"389", "\[UndirectedEdge]", "690"}], ",",
RowBox[{"389", "\[UndirectedEdge]", "841"}], ",",
RowBox[{"390", "\[UndirectedEdge]", "433"}], ",",
RowBox[{"398", "\[UndirectedEdge]", "896"}], ",",
RowBox[{"399", "\[UndirectedEdge]", "596"}], ",",
RowBox[{"406", "\[UndirectedEdge]", "508"}], ",",
RowBox[{"406", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"406", "\[UndirectedEdge]", "580"}], ",",
RowBox[{"406", "\[UndirectedEdge]", "663"}], ",",
RowBox[{"406", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"406", "\[UndirectedEdge]", "729"}], ",",
RowBox[{"406", "\[UndirectedEdge]", "748"}], ",",
RowBox[{"406", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"406", "\[UndirectedEdge]", "816"}], ",",
RowBox[{"406", "\[UndirectedEdge]", "914"}], ",",
RowBox[{"406", "\[UndirectedEdge]", "961"}], ",",
RowBox[{"407", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"407", "\[UndirectedEdge]", "827"}], ",",
RowBox[{"418", "\[UndirectedEdge]", "978"}], ",",
RowBox[{"421", "\[UndirectedEdge]", "914"}], ",",
RowBox[{"423", "\[UndirectedEdge]", "914"}], ",",
RowBox[{"423", "\[UndirectedEdge]", "1004"}], ",",
RowBox[{"424", "\[UndirectedEdge]", "556"}], ",",
RowBox[{"426", "\[UndirectedEdge]", "702"}], ",",
RowBox[{"426", "\[UndirectedEdge]", "777"}], ",",
RowBox[{"426", "\[UndirectedEdge]", "861"}], ",",
RowBox[{"426", "\[UndirectedEdge]", "896"}], ",",
RowBox[{"427", "\[UndirectedEdge]", "513"}], ",",
RowBox[{"427", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"427", "\[UndirectedEdge]", "577"}], ",",
RowBox[{"427", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"427", "\[UndirectedEdge]", "822"}], ",",
RowBox[{"427", "\[UndirectedEdge]", "987"}], ",",
RowBox[{"429", "\[UndirectedEdge]", "432"}], ",",
RowBox[{"429", "\[UndirectedEdge]", "978"}], ",",
RowBox[{"439", "\[UndirectedEdge]", "896"}], ",",
RowBox[{"439", "\[UndirectedEdge]", "978"}], ",",
RowBox[{"439", "\[UndirectedEdge]", "982"}], ",",
RowBox[{"440", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"440", "\[UndirectedEdge]", "987"}], ",",
RowBox[{"447", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"447", "\[UndirectedEdge]", "833"}], ",",
RowBox[{"447", "\[UndirectedEdge]", "987"}], ",",
RowBox[{"451", "\[UndirectedEdge]", "710"}], ",",
RowBox[{"451", "\[UndirectedEdge]", "847"}], ",",
RowBox[{"453", "\[UndirectedEdge]", "513"}], ",",
RowBox[{"453", "\[UndirectedEdge]", "560"}], ",",
RowBox[{"453", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"453", "\[UndirectedEdge]", "580"}], ",",
RowBox[{"453", "\[UndirectedEdge]", "729"}], ",",
RowBox[{"458", "\[UndirectedEdge]", "513"}], ",",
RowBox[{"458", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"458", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"458", "\[UndirectedEdge]", "729"}], ",",
RowBox[{"458", "\[UndirectedEdge]", "792"}], ",",
RowBox[{"458", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"465", "\[UndirectedEdge]", "690"}], ",",
RowBox[{"465", "\[UndirectedEdge]", "990"}], ",",
RowBox[{"474", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"474", "\[UndirectedEdge]", "841"}], ",",
RowBox[{"474", "\[UndirectedEdge]", "859"}], ",",
RowBox[{"475", "\[UndirectedEdge]", "560"}], ",",
RowBox[{"475", "\[UndirectedEdge]", "580"}], ",",
RowBox[{"475", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"475", "\[UndirectedEdge]", "827"}], ",",
RowBox[{"475", "\[UndirectedEdge]", "841"}], ",",
RowBox[{"482", "\[UndirectedEdge]", "513"}], ",",
RowBox[{"482", "\[UndirectedEdge]", "560"}], ",",
RowBox[{"482", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"482", "\[UndirectedEdge]", "762"}], ",",
RowBox[{"482", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"482", "\[UndirectedEdge]", "961"}], ",",
RowBox[{"487", "\[UndirectedEdge]", "512"}], ",",
RowBox[{"488", "\[UndirectedEdge]", "793"}], ",",
RowBox[{"488", "\[UndirectedEdge]", "816"}], ",",
RowBox[{"495", "\[UndirectedEdge]", "636"}], ",",
RowBox[{"495", "\[UndirectedEdge]", "777"}], ",",
RowBox[{"507", "\[UndirectedEdge]", "573"}], ",",
RowBox[{"507", "\[UndirectedEdge]", "685"}], ",",
RowBox[{"507", "\[UndirectedEdge]", "786"}], ",",
RowBox[{"507", "\[UndirectedEdge]", "816"}], ",",
RowBox[{"512", "\[UndirectedEdge]", "872"}], ",",
RowBox[{"512", "\[UndirectedEdge]", "978"}], ",",
RowBox[{"520", "\[UndirectedEdge]", "707"}], ",",
RowBox[{"520", "\[UndirectedEdge]", "914"}], ",",
RowBox[{"520", "\[UndirectedEdge]", "987"}], ",",
RowBox[{"525", "\[UndirectedEdge]", "762"}], ",",
RowBox[{"534", "\[UndirectedEdge]", "816"}], ",",
RowBox[{"534", "\[UndirectedEdge]", "896"}], ",",
RowBox[{"537", "\[UndirectedEdge]", "777"}], ",",
RowBox[{"537", "\[UndirectedEdge]", "987"}], ",",
RowBox[{"547", "\[UndirectedEdge]", "816"}], ",",