-
Notifications
You must be signed in to change notification settings - Fork 3
/
TASI-Lecture2-stuff.nb
10476 lines (10413 loc) · 619 KB
/
TASI-Lecture2-stuff.nb
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 11.2' *)
(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[ 158, 7]
NotebookDataLength[ 633235, 10468]
NotebookOptionsPosition[ 628407, 10381]
NotebookOutlinePosition[ 628750, 10396]
CellTagsIndexPosition[ 628707, 10393]
WindowFrame->Normal*)
(* Beginning of Notebook Content *)
Notebook[{
Cell[CellGroupData[{
Cell[TextData[StyleBox["Supplement to TASI Lecture 2 of \
\[OpenCurlyDoubleQuote]QIS for Particle Theorists\[CloseCurlyDoubleQuote]",
FontSize->24,
FontWeight->"Bold",
FontColor->RGBColor[
0.5187914854657817, 0.04975967040512703, 0.021164263370717938`]]], "Title",
CellChangeTimes->{{3.7209031707541637`*^9, 3.720903170755389*^9},
3.720903232346204*^9, {3.732187948840461*^9, 3.7321879542436953`*^9}, {
3.7911343166400537`*^9, 3.791134325095689*^9}, {3.794416117917182*^9,
3.7944161573641424`*^9}, {3.800527988174901*^9, 3.800527993022148*^9}, {
3.8019322254975595`*^9,
3.8019322607775764`*^9}},ExpressionUUID->"c06329ea-4f62-4d43-bf98-\
61287a3e63dc"],
Cell[CellGroupData[{
Cell["THIS NOTEBOOK CREATED BY J. LYKKEN", "Text",
CellFrame->{{0, 0}, {0, 0}},
CellMargins->{{48, 10}, {4, 28}},
CellGroupingRules->{"SectionGrouping", 25},
CellFrameMargins->{{48, 48}, {6, 5}},
CellFrameColor->RGBColor[0.87, 0.87, 0.87],
CellChangeTimes->{{3.7252890580276127`*^9, 3.725289108759369*^9}, {
3.725289152622879*^9, 3.725289162365028*^9}, {3.79113429419317*^9,
3.7911343095921926`*^9}, {3.7958806234128637`*^9, 3.7958806369128513`*^9}},
FontFamily->"Helvetica",
FontSize->10,
FontWeight->"Bold",
FontColor->RGBColor[
0.597406, 0,
0.0527047],ExpressionUUID->"107279e3-b718-4ff8-9f5f-68eb6e3c2dcf"],
Cell[CellGroupData[{
Cell[TextData[StyleBox["Some basic operations and definitions",
FontSize->16,
FontColor->RGBColor[
0.525108720531014, 0.009094377050431068, 0.0515907530327306]]], "Section",
CellFrame->{{0, 0}, {1, 0}},
CellFrameColor->RGBColor[0.87, 0.87, 0.87],
CellChangeTimes->{{3.723730465018939*^9, 3.7237304692890253`*^9}, {
3.725286955190207*^9, 3.725286967816587*^9}},
FontFamily->"Helvetica",
FontSize->12,
FontWeight->"Bold",
FontColor->RGBColor[
0.597406, 0,
0.0527047],ExpressionUUID->"87b4a7af-d944-4067-ac40-74f3d46bec55"],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"Id", "[", "N_", "]"}], "=",
RowBox[{"IdentityMatrix", "[", "N", "]"}]}], ";"}], " ",
RowBox[{"(*", " ",
RowBox[{"NxN", " ", "identity", " ", "matrix"}], " ", "*)"}],
"\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"ZeroM", "[", "N_", "]"}], ":=",
RowBox[{"ConstantArray", "[",
RowBox[{"0", ",",
RowBox[{"{",
RowBox[{"N", ",", "N"}], "}"}]}], "]"}]}], ";"}], " ",
RowBox[{"(*", " ",
RowBox[{"NxN", " ", "matrix", " ", "of", " ", "zeroes"}], " ", "*)"}],
"\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"KP", "[",
RowBox[{"a_", ",", "b_"}], "]"}], ":=",
RowBox[{"KroneckerProduct", "[",
RowBox[{"a", ",", "b"}], "]"}]}], ";"}], " ",
RowBox[{"(*", " ",
RowBox[{"the", " ", "Kronecker", " ", "tensor", " ", "product"}], " ",
"*)"}], "\[IndentingNewLine]", "\[IndentingNewLine]",
RowBox[{"(*", " ",
RowBox[{
"some", " ", "basic", " ", "single", " ", "and", " ", "two", " ", "qubit",
" ", "unitary", " ", "operations", " ", "as", " ", "a", " ",
"reminder"}], " ", "*)"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"x", "=",
RowBox[{"(", "\[NoBreak]", GridBox[{
{"0", "1"},
{"1", "0"}
}], "\[NoBreak]", ")"}]}], ";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"y", "=",
RowBox[{"(", "\[NoBreak]", GridBox[{
{"0",
RowBox[{"-", "I"}]},
{"I", "0"}
}], "\[NoBreak]", ")"}]}], ";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"z", "=",
RowBox[{"(", "\[NoBreak]", GridBox[{
{"1", "0"},
{"0",
RowBox[{"-", "1"}]}
}], "\[NoBreak]", ")"}]}], ";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"sp", "=",
RowBox[{"(", "\[NoBreak]", GridBox[{
{"0", "1"},
{"0", "0"}
}], "\[NoBreak]", ")"}]}], ";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"sm", "=",
RowBox[{"(", "\[NoBreak]", GridBox[{
{"0", "0"},
{"1", "0"}
}], "\[NoBreak]", ")"}]}], ";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"P0", " ", "=", " ",
RowBox[{"(", "\[NoBreak]", GridBox[{
{"1", "0"},
{"0", "0"}
}], "\[NoBreak]", ")"}]}], ";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"P1", " ", "=", " ",
RowBox[{"(", "\[NoBreak]", GridBox[{
{"0", "0"},
{"0", "1"}
}], "\[NoBreak]", ")"}]}], ";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"hadamard", "=",
RowBox[{
FractionBox["1",
SqrtBox["2"]],
RowBox[{"(", "\[NoBreak]", GridBox[{
{"1", "1"},
{"1",
RowBox[{"-", "1"}]}
}], "\[NoBreak]", ")"}]}]}], ";"}], "\[IndentingNewLine]",
RowBox[{"(*", " ",
RowBox[{
"Define", " ", "a", " ", "Hadamard", " ", "gate", " ", "on", " ", "the",
" ", "kth", " ", "qubit", " ", "of", " ",
RowBox[{"nqubits", ":"}]}], " ", "*)"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"Hadamard", "[",
RowBox[{"k_", ",", "nqubits_"}], "]"}], ":=",
RowBox[{"KP", "[",
RowBox[{
RowBox[{"Id", "[",
SuperscriptBox["2",
RowBox[{"k", "-", "1"}]], "]"}], ",",
RowBox[{"KP", "[",
RowBox[{"hadamard", ",",
RowBox[{"Id", "[",
SuperscriptBox["2",
RowBox[{"nqubits", "-", "k"}]], "]"}]}], "]"}]}], "]"}]}], ";"}],
"\[IndentingNewLine]", "\[IndentingNewLine]",
RowBox[{"(*", " ",
RowBox[{
"Define", " ", "other", " ", "single", " ", "qubit", " ", "operations",
" ", "on", " ", "the", " ", "kth", " ", "qubit", " ", "of", " ",
RowBox[{"nqubits", ":"}]}], " ", "*)"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"X", "[",
RowBox[{"k_", ",", "nqubits_"}], "]"}], ":=",
RowBox[{"KP", "[",
RowBox[{
RowBox[{"Id", "[",
SuperscriptBox["2",
RowBox[{"k", "-", "1"}]], "]"}], ",",
RowBox[{"KP", "[",
RowBox[{"x", ",",
RowBox[{"Id", "[",
SuperscriptBox["2",
RowBox[{"nqubits", "-", "k"}]], "]"}]}], "]"}]}], "]"}]}], ";"}],
"\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"Y", "[",
RowBox[{"k_", ",", "nqubits_"}], "]"}], ":=",
RowBox[{"KP", "[",
RowBox[{
RowBox[{"Id", "[",
SuperscriptBox["2",
RowBox[{"k", "-", "1"}]], "]"}], ",",
RowBox[{"KP", "[",
RowBox[{"y", ",",
RowBox[{"Id", "[",
SuperscriptBox["2",
RowBox[{"nqubits", "-", "k"}]], "]"}]}], "]"}]}], "]"}]}], ";"}],
"\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"Z", "[",
RowBox[{"k_", ",", "nqubits_"}], "]"}], ":=",
RowBox[{"KP", "[",
RowBox[{
RowBox[{"Id", "[",
SuperscriptBox["2",
RowBox[{"k", "-", "1"}]], "]"}], ",",
RowBox[{"KP", "[",
RowBox[{"z", ",",
RowBox[{"Id", "[",
SuperscriptBox["2",
RowBox[{"nqubits", "-", "k"}]], "]"}]}], "]"}]}], "]"}]}], ";"}],
"\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"SP", "[",
RowBox[{"k_", ",", "nqubits_"}], "]"}], ":=",
RowBox[{"KP", "[",
RowBox[{
RowBox[{"Id", "[",
SuperscriptBox["2",
RowBox[{"k", "-", "1"}]], "]"}], ",",
RowBox[{"KP", "[",
RowBox[{"sp", ",",
RowBox[{"Id", "[",
SuperscriptBox["2",
RowBox[{"nqubits", "-", "k"}]], "]"}]}], "]"}]}], "]"}]}], ";"}],
"\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"SM", "[",
RowBox[{"k_", ",", "nqubits_"}], "]"}], ":=",
RowBox[{"KP", "[",
RowBox[{
RowBox[{"Id", "[",
SuperscriptBox["2",
RowBox[{"k", "-", "1"}]], "]"}], ",",
RowBox[{"KP", "[",
RowBox[{"sm", ",",
RowBox[{"Id", "[",
SuperscriptBox["2",
RowBox[{"nqubits", "-", "k"}]], "]"}]}], "]"}]}], "]"}]}], ";"}],
"\[IndentingNewLine]", "\[IndentingNewLine]",
RowBox[{"(*", " ",
RowBox[{"CNOT", " ", "gates"}], " ", "*)"}], "\[IndentingNewLine]",
RowBox[{"(*", " ",
RowBox[{
RowBox[{
RowBox[{"CNOT", "[",
RowBox[{"i", ",", "j", ",", "n"}], "]"}], " ", "performs", " ", "a",
" ", "CNOT", " ", "operation", " ", "on", " ", "an", " ", "n"}], "-",
RowBox[{
"qubit", " ", "system", " ", "with", " ", "\[IndentingNewLine]", "the",
" ", "i"}], "-",
RowBox[{
"th", " ", "qubit", " ", "as", " ", "the", " ", "control", " ", "and",
" ", "the", " ", "j"}], "-",
RowBox[{"th", " ", "qubit", " ", "as", " ", "the", " ", "target"}]}],
" ", "*)"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"CNOT12", "[", "nqubits_", "]"}], ":=",
RowBox[{"ArrayFlatten", "[",
RowBox[{"{",
RowBox[{
RowBox[{"{",
RowBox[{
RowBox[{"Id", "[",
SuperscriptBox["2",
RowBox[{"nqubits", "-", "1"}]], "]"}], ",", "0"}], "}"}], ",",
RowBox[{"{",
RowBox[{"0", ",",
RowBox[{"KP", "[",
RowBox[{"x", ",",
RowBox[{"Id", "[",
SuperscriptBox["2",
RowBox[{"nqubits", "-", "2"}]], "]"}]}], "]"}]}], "}"}]}],
"}"}], "]"}]}], ";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"perm", "[",
RowBox[{"q1_", ",", "q2_", ",", "nqubits_"}], "]"}], ":=",
RowBox[{"Block", "[",
RowBox[{
RowBox[{"{",
RowBox[{"k", ",", "kp", ",", "i", ",", "j", ",", "ord", ",", "nmax"}],
"}"}], ",",
RowBox[{
RowBox[{"For", "[",
RowBox[{
RowBox[{
RowBox[{"ord", "=",
RowBox[{"{", "}"}]}], ";",
RowBox[{"nmax", " ", "=",
SuperscriptBox["2",
RowBox[{"(", "nqubits", ")"}]]}], ";",
RowBox[{"k", "=", "0"}], ";", " ",
RowBox[{"i", "=",
RowBox[{"nqubits", "-", "q1"}]}], ";",
RowBox[{"j", "=",
RowBox[{"nqubits", "-", "q2"}]}]}], ",",
RowBox[{"k", "<", "nmax"}], ",",
RowBox[{"k", "++"}], ",",
RowBox[{
RowBox[{"kp", "=", "k"}], ";",
RowBox[{"If", "[",
RowBox[{
RowBox[{
RowBox[{"BitGet", "[",
RowBox[{"k", ",", "i"}], "]"}], "\[Equal]", "1"}], ",",
RowBox[{"kp", "=",
RowBox[{"BitSet", "[",
RowBox[{"kp", ",", "j"}], "]"}]}], ",",
RowBox[{"kp", "=",
RowBox[{"BitClear", "[",
RowBox[{"kp", ",", "j"}], "]"}]}]}], "]"}], ";",
RowBox[{"If", "[",
RowBox[{
RowBox[{
RowBox[{"BitGet", "[",
RowBox[{"k", ",", "j"}], "]"}], "\[Equal]", "1"}], ",",
RowBox[{"kp", "=",
RowBox[{"BitSet", "[",
RowBox[{"kp", ",", "i"}], "]"}]}], ",",
RowBox[{"kp", "=",
RowBox[{"BitClear", "[",
RowBox[{"kp", ",", "i"}], "]"}]}]}], "]"}], ";",
"\[IndentingNewLine]",
RowBox[{"AppendTo", "[",
RowBox[{"ord", ",",
RowBox[{"kp", "+", "1"}]}], "]"}]}]}], "]"}], ";", "ord"}]}],
"]"}]}], ";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"cperm", "[",
RowBox[{"i_", ",", "j_", ",", "nqubits_", ",", "cnot_"}], "]"}], ":=",
RowBox[{"(",
RowBox[{"Module", "[",
RowBox[{
RowBox[{"{",
RowBox[{"ord", ",", "cnotp"}], "}"}], ",",
RowBox[{
RowBox[{"ord", "=",
RowBox[{"perm", "[",
RowBox[{"i", ",", "j", ",", "nqubits"}], "]"}]}], ";",
RowBox[{"cnotp", "=",
RowBox[{"cnot", "[",
RowBox[{"[",
RowBox[{"ord", ",", "ord"}], "]"}], "]"}]}], ";", "cnotp"}]}],
"]"}], ")"}]}], ";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"CNOT21", "[", "nqubits_", "]"}], ":=",
RowBox[{"cperm", "[",
RowBox[{"1", ",", "2", ",", "nqubits", ",",
RowBox[{"CNOT12", "[", "nqubits", "]"}]}], "]"}]}], ";"}],
"\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"CNOT", "[",
RowBox[{"i_", ",", "j_", ",", "nqubits_"}], "]"}], ":=",
RowBox[{"Module", "[",
RowBox[{
RowBox[{"{", "cnot", "}"}], ",",
RowBox[{
RowBox[{"Which", "[",
RowBox[{
RowBox[{
RowBox[{"i", " ", ">", "2"}], " ", "&&", " ",
RowBox[{"j", ">", " ", "2"}]}], ",",
RowBox[{"cnot", " ", "=",
RowBox[{"cperm", "[",
RowBox[{"2", ",", "j", ",", "nqubits", ",",
RowBox[{"cperm", "[",
RowBox[{"1", ",", "i", ",", "nqubits", ",",
RowBox[{"CNOT12", "[", "nqubits", "]"}]}], "]"}]}], "]"}]}],
",",
RowBox[{
RowBox[{"i", "\[Equal]", "1"}], " ", "&&", " ",
RowBox[{"j", ">", "2"}]}], ",",
RowBox[{"cnot", " ", "=",
RowBox[{"cperm", "[",
RowBox[{"2", ",", "j", ",", "nqubits", ",",
RowBox[{"CNOT12", "[", "nqubits", "]"}]}], "]"}]}], ",",
RowBox[{
RowBox[{"i", ">", "2"}], " ", "&&", " ",
RowBox[{"j", "\[Equal]", "1"}]}], ",",
RowBox[{"cnot", "=",
RowBox[{"cperm", "[",
RowBox[{"2", ",", "i", ",", "nqubits", ",",
RowBox[{"CNOT21", "[", "nqubits", "]"}]}], "]"}]}], ",",
RowBox[{
RowBox[{"i", "\[Equal]", "2"}], " ", "&&", " ",
RowBox[{"j", ">", "2"}]}], ",",
RowBox[{"cnot", "=",
RowBox[{"cperm", "[",
RowBox[{"1", ",", "j", ",", "nqubits", ",",
RowBox[{"CNOT21", "[", "nqubits", "]"}]}], "]"}]}], ",",
RowBox[{
RowBox[{"j", "\[Equal]", "2"}], " ", "&&", " ",
RowBox[{"i", ">", "2"}]}], ",",
RowBox[{"cnot", "=",
RowBox[{"cperm", "[",
RowBox[{"1", ",", "i", ",", "nqubits", ",",
RowBox[{"CNOT12", "[", "nqubits", "]"}]}], "]"}]}], ",",
RowBox[{
RowBox[{"i", "\[Equal]", "1"}], " ", "&&", " ",
RowBox[{"j", "\[Equal]", "2"}]}], ",",
RowBox[{"cnot", " ", "=", " ",
RowBox[{"CNOT12", "[", "nqubits", "]"}]}], ",",
RowBox[{
RowBox[{"i", "\[Equal]", "2"}], " ", "&&", " ",
RowBox[{"j", "\[Equal]", "1"}]}], ",",
RowBox[{"cnot", " ", "=",
RowBox[{"CNOT21", "[", "nqubits", "]"}]}], ",", "True", ",",
RowBox[{"cnot", "=",
RowBox[{"{", "}"}]}]}], "]"}], ";", "cnot"}]}], "]"}]}], ";"}],
"\[IndentingNewLine]",
RowBox[{"(*", " ",
RowBox[{"a", " ", "couple", " ", "of", " ",
RowBox[{"examples", ":"}]}], " ", "*)"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"CNOT12", "[", "2", "]"}], "//", "MatrixForm"}],
"\[IndentingNewLine]",
RowBox[{
RowBox[{"CNOT21", "[", "2", "]"}], "//", "MatrixForm"}],
"\[IndentingNewLine]", "\[IndentingNewLine]",
RowBox[{"(*", " ",
RowBox[{
"Computes", " ", "the", " ", "entanglement", " ", "entropy", " ", "of",
" ", "a", " ", "density", " ", "matrix", " ", "rho"}], " ", "*)"}],
"\[IndentingNewLine]", "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"SE", "[", "rho_", "]"}], ":=", " ",
RowBox[{"Module", "[",
RowBox[{
RowBox[{"{",
RowBox[{"i", ",", "evals", ",",
RowBox[{"result", "=", "0"}]}], "}"}], ",",
RowBox[{
RowBox[{"evals", " ", "=", " ",
RowBox[{"Eigenvalues", "[", "rho", "]"}]}], ";", " ",
RowBox[{"For", "[",
RowBox[{
RowBox[{"i", "=", "1"}], ",",
RowBox[{"i", "\[LessEqual]",
RowBox[{"Length", "[", "evals", "]"}]}], ",",
RowBox[{"i", "++"}], ",", " ",
RowBox[{
RowBox[{"xa", " ", "=", " ",
RowBox[{"Abs", "[",
RowBox[{"evals", "[",
RowBox[{"[", "i", "]"}], "]"}], "]"}]}], ";",
RowBox[{"result", "+=", " ",
RowBox[{"-",
RowBox[{"(",
RowBox[{"xa", "*",
RowBox[{"Log", "[",
RowBox[{"2", ",", "xa"}], "]"}]}], ")"}]}]}]}]}], "]"}], ";",
"result"}]}], "]"}]}], ";"}]}]}]], "Input",
InitializationCell->True,
CellChangeTimes->{
3.35696210375764*^9, {3.475842713359104*^9, 3.4758427196929474`*^9}, {
3.720901122359614*^9, 3.72090124598597*^9}, {3.720903492469676*^9,
3.720903496529497*^9}, {3.720909420599286*^9, 3.7209095088584967`*^9}, {
3.7209095948501596`*^9, 3.720909648053513*^9}, {3.720909690870742*^9,
3.720909774970162*^9}, {3.720913616597712*^9, 3.7209136412875547`*^9}, {
3.7209137351154118`*^9, 3.7209138169486723`*^9}, {3.7209186556066637`*^9,
3.7209186560828667`*^9}, {3.720918739419578*^9, 3.72091878623939*^9}, {
3.720918838599296*^9, 3.7209188451442347`*^9}, {3.720919024560759*^9,
3.72091953577986*^9}, {3.7209196672108917`*^9, 3.72091987558419*^9}, {
3.720919992161639*^9, 3.720920475790242*^9}, {3.720920780879283*^9,
3.7209209202128353`*^9}, {3.720920985405899*^9, 3.720920990257864*^9}, {
3.720921105201522*^9, 3.720921214744233*^9}, {3.720921337501083*^9,
3.720921340612054*^9}, {3.720921638955022*^9, 3.720921699654667*^9}, {
3.720922524459717*^9, 3.720922527015835*^9}, {3.7209226498886557`*^9,
3.720922652081932*^9}, {3.720981314204747*^9, 3.720981331821619*^9}, {
3.7209845630977983`*^9, 3.720984688098928*^9}, {3.720984719836217*^9,
3.7209847492602673`*^9}, {3.720984795867743*^9, 3.7209849805684023`*^9}, {
3.72098517401488*^9, 3.720985266577462*^9}, {3.720985340126399*^9,
3.720985380522946*^9}, {3.720985466617659*^9, 3.72098548369457*^9}, {
3.720985519605454*^9, 3.720985521220271*^9}, {3.720985683987989*^9,
3.7209856905784597`*^9}, {3.721054898635538*^9, 3.721054906832588*^9}, {
3.721055156391264*^9, 3.721055229949958*^9}, {3.721055269644525*^9,
3.721055274291379*^9}, {3.721055400832835*^9, 3.721055453046055*^9}, {
3.721055618661805*^9, 3.72105564073361*^9}, 3.7210557073449297`*^9,
3.72105774567352*^9, {3.721057780078229*^9, 3.721057784101266*^9}, {
3.721483980094919*^9, 3.721483986112246*^9}, {3.721828212690812*^9,
3.72182825016759*^9}, {3.7218282989228354`*^9, 3.721828464004242*^9}, {
3.72182870161985*^9, 3.7218287064242783`*^9}, {3.7218287897110147`*^9,
3.7218288481641293`*^9}, {3.721828892291697*^9, 3.7218288939468403`*^9},
3.721828940625106*^9, {3.721829450375471*^9, 3.721829501719226*^9}, {
3.721829598122952*^9, 3.721829611452094*^9}, {3.721830416644121*^9,
3.721830419074708*^9}, {3.721830622544009*^9, 3.721830702444858*^9}, {
3.7218307431656933`*^9, 3.72183089791679*^9}, {3.721830943805204*^9,
3.72183097200775*^9}, {3.72183114990442*^9, 3.7218312008171673`*^9}, {
3.721831263578096*^9, 3.7218312930090237`*^9}, {3.721831332710931*^9,
3.721831336669989*^9}, {3.721831397949593*^9, 3.721831490905085*^9}, {
3.7218315355500107`*^9, 3.7218315360471888`*^9}, {3.721831603670311*^9,
3.7218316621607656`*^9}, 3.721831703999545*^9, {3.7218317603373404`*^9,
3.72183176203736*^9}, {3.721831856917117*^9, 3.7218318849169064`*^9}, {
3.721832006495119*^9, 3.7218320514188967`*^9}, {3.721833733045301*^9,
3.721833776902626*^9}, {3.721833884755013*^9, 3.721833940956586*^9}, {
3.721833973793413*^9, 3.721834021219433*^9}, {3.721834984230838*^9,
3.721835044019127*^9}, {3.721835098787724*^9, 3.721835154965699*^9}, {
3.7218352059545393`*^9, 3.7218352261509666`*^9}, {3.721835367427404*^9,
3.721835499027677*^9}, {3.721835613210969*^9, 3.721835703637192*^9}, {
3.721835810802082*^9, 3.721835812119177*^9}, {3.721835845965146*^9,
3.72183586729286*^9}, {3.721836543007118*^9, 3.721836581912807*^9}, {
3.721836680143786*^9, 3.7218367728805103`*^9}, {3.721843383300679*^9,
3.721843418207712*^9}, {3.721843520795436*^9, 3.721843577880331*^9}, {
3.721843678709344*^9, 3.721843679979786*^9}, 3.721843822896474*^9,
3.721845731316086*^9, {3.7218457615670013`*^9, 3.7218458150938673`*^9}, {
3.721845885780147*^9, 3.72184590320475*^9}, {3.721846161686469*^9,
3.7218462223999367`*^9}, 3.72184637883504*^9, {3.7218464973848352`*^9,
3.7218466467736387`*^9}, {3.721846743649707*^9, 3.721846761070941*^9}, {
3.721846959304535*^9, 3.72184702351789*^9}, {3.721847784961411*^9,
3.721847833640074*^9}, {3.721847873515431*^9, 3.721847887918479*^9}, {
3.721848297730701*^9, 3.72184829966578*^9}, {3.721848382599821*^9,
3.721848505834483*^9}, {3.72184858746693*^9, 3.721848692504668*^9}, {
3.721848751621789*^9, 3.721848887631824*^9}, {3.721848920947258*^9,
3.721849170947731*^9}, {3.7218495026914186`*^9, 3.721849679854443*^9}, {
3.721849771931604*^9, 3.7218498491292257`*^9}, {3.7218498919122257`*^9,
3.721849895975288*^9}, {3.721849969797995*^9, 3.721850039151841*^9}, {
3.7218516491317863`*^9, 3.7218516656044073`*^9}, {3.7218517147706127`*^9,
3.721851750912384*^9}, {3.7218517838454657`*^9, 3.7218518822355413`*^9}, {
3.721852022875362*^9, 3.721852136529689*^9}, {3.7218521802260733`*^9,
3.721852328573566*^9}, {3.721852488429968*^9, 3.7218525061392193`*^9}, {
3.72185258614622*^9, 3.721852589086918*^9}, {3.7218526192319098`*^9,
3.721852779451275*^9}, {3.7218528101868753`*^9, 3.721852824145135*^9}, {
3.721853461932164*^9, 3.721853489708034*^9}, {3.7218536354465923`*^9,
3.721853638481557*^9}, {3.72185373393296*^9, 3.721853863390418*^9}, {
3.721853959938014*^9, 3.7218540007106733`*^9}, {3.721856316565775*^9,
3.7218563283202744`*^9}, {3.7218563665740833`*^9, 3.721856460899551*^9}, {
3.721856608536848*^9, 3.721856654177194*^9}, {3.721918944461625*^9,
3.721918989285143*^9}, {3.721919019729183*^9, 3.721919020252788*^9}, {
3.721919110706109*^9, 3.72191911121467*^9}, {3.721919170581205*^9,
3.7219191936257553`*^9}, {3.7219192457127333`*^9,
3.7219194392719727`*^9}, {3.7219198251247396`*^9, 3.721919922792748*^9}, {
3.721919973542388*^9, 3.72192000067743*^9}, {3.721920246685771*^9,
3.721920286001464*^9}, {3.721920348724246*^9, 3.721920605698825*^9}, {
3.7219206611468363`*^9, 3.72192082620389*^9}, {3.7219210964455853`*^9,
3.721921113632944*^9}, {3.721921145155444*^9, 3.721921276013567*^9},
3.721921330337344*^9, {3.72192175593684*^9, 3.721921801869198*^9}, {
3.721921863101096*^9, 3.7219220253806753`*^9}, {3.721922058532928*^9,
3.721922074314056*^9}, {3.721922366085713*^9, 3.721922372321699*^9}, {
3.721922583019187*^9, 3.721922617190475*^9}, {3.721922895680492*^9,
3.7219229374559517`*^9}, {3.7219229697697983`*^9, 3.721923016104961*^9}, {
3.721923094245914*^9, 3.721923225715075*^9}, {3.721923276175058*^9,
3.721923292154264*^9}, {3.721923468074931*^9, 3.72192347518371*^9}, {
3.721923828982209*^9, 3.721923896844549*^9}, {3.721924032990028*^9,
3.721924117340062*^9}, {3.721924151075994*^9, 3.721924172528124*^9}, {
3.721924208661396*^9, 3.7219242280204678`*^9}, {3.7219246093985662`*^9,
3.721924634852374*^9}, {3.721924801189087*^9, 3.7219248313804283`*^9}, {
3.721924872777025*^9, 3.7219248901201277`*^9}, {3.721925132648529*^9,
3.721925215777259*^9}, {3.721925256196692*^9, 3.7219256273385077`*^9}, {
3.7219258811877193`*^9, 3.721926013456362*^9}, {3.721926062008122*^9,
3.721926340262236*^9}, {3.721926376249658*^9, 3.7219263860532637`*^9}, {
3.721926437708487*^9, 3.721926518280595*^9}, {3.721926564975595*^9,
3.7219265881091557`*^9}, {3.721926662637076*^9, 3.721926715602538*^9}, {
3.721926771319223*^9, 3.721926781135396*^9}, {3.721926902793809*^9,
3.721927006439231*^9}, {3.7219270366831713`*^9, 3.721927163239893*^9}, {
3.7219271946935*^9, 3.721927196475771*^9}, {3.72192753116416*^9,
3.721927709992507*^9}, {3.721927772676708*^9, 3.7219277857963047`*^9}, {
3.721927868630598*^9, 3.721927870615067*^9}, {3.7219279810091057`*^9,
3.721928016473394*^9}, {3.7219281119742413`*^9, 3.721928153762971*^9}, {
3.7219284332766647`*^9, 3.721928471940692*^9}, {3.721928506478735*^9,
3.7219285417151318`*^9}, {3.721928575153636*^9, 3.721928599921805*^9}, {
3.721928710343029*^9, 3.721928777462438*^9}, {3.7219288531676397`*^9,
3.721928879169621*^9}, {3.721928951885508*^9, 3.721928960151082*^9}, {
3.7219290385083027`*^9, 3.7219291909904003`*^9}, {3.721929294917259*^9,
3.721929378700115*^9}, {3.7219294241776323`*^9, 3.721929455782097*^9}, {
3.7219294928679934`*^9, 3.721929615184894*^9}, {3.721929797140396*^9,
3.7219298154331837`*^9}, {3.7219301105576572`*^9, 3.721930117474381*^9}, {
3.7221233854350433`*^9, 3.7221233913194*^9}, {3.722123443952293*^9,
3.722123647503899*^9}, {3.722124260808982*^9, 3.722124482323064*^9}, {
3.722129654730228*^9, 3.7221299776337967`*^9}, {3.7221308351706944`*^9,
3.722130851993616*^9}, {3.722130905529798*^9, 3.72213090607918*^9}, {
3.722131036929145*^9, 3.72213104634519*^9}, {3.722131114142729*^9,
3.7221311147369223`*^9}, {3.722131150595654*^9, 3.722131185910761*^9}, {
3.722131401554738*^9, 3.7221314244288673`*^9}, {3.72213350038027*^9,
3.722133534433302*^9}, {3.722133834739197*^9, 3.722133983200382*^9}, {
3.7221341049161377`*^9, 3.722134106122184*^9}, {3.722134317592824*^9,
3.722134372675029*^9}, {3.722134487083983*^9, 3.722134510867743*^9}, {
3.722134545609551*^9, 3.722134585132259*^9}, {3.722134709431141*^9,
3.722134720794545*^9}, {3.7221347715884247`*^9, 3.722135080571643*^9}, {
3.72217232030125*^9, 3.722172390601453*^9}, {3.722172437919195*^9,
3.722172487648402*^9}, {3.722172528363855*^9, 3.7221725297999563`*^9}, {
3.722173014131633*^9, 3.722173179761876*^9}, {3.722173236235449*^9,
3.7221732368504353`*^9}, {3.722173356155528*^9, 3.722173371576123*^9}, {
3.722173413047195*^9, 3.7221734314083357`*^9}, 3.722173480269298*^9, {
3.722173563571156*^9, 3.722173566903928*^9}, {3.722173597318433*^9,
3.722173598559525*^9}, {3.722173638573641*^9, 3.722173639238394*^9}, {
3.722173726644507*^9, 3.722173746813678*^9}, {3.722173874518434*^9,
3.7221740769089117`*^9}, {3.722174301698565*^9, 3.722174454818158*^9}, {
3.72217454249034*^9, 3.722174547706581*^9}, {3.722174584161063*^9,
3.72217464993919*^9}, {3.722174680788205*^9, 3.722174738282864*^9}, {
3.722174787087029*^9, 3.72217480861405*^9}, 3.7221748392473297`*^9, {
3.722174933594654*^9, 3.722175217976719*^9}, {3.7221752494018373`*^9,
3.72217526429818*^9}, {3.722175340549127*^9, 3.722175370763935*^9}, {
3.722175778839344*^9, 3.72217586593312*^9}, {3.72217590677559*^9,
3.722175993400255*^9}, {3.722176521056724*^9, 3.7221765469504223`*^9}, {
3.722176620466898*^9, 3.722176674646831*^9}, {3.722176969525828*^9,
3.722176972015307*^9}, {3.722177002722702*^9, 3.722177004271154*^9}, {
3.722177042809318*^9, 3.722177051727096*^9}, {3.722177121447998*^9,
3.722177144134871*^9}, {3.722177185424588*^9, 3.7221772679905453`*^9}, {
3.72217730758891*^9, 3.7221773626326923`*^9}, {3.722177420370532*^9,
3.722177433281795*^9}, {3.7221774757512283`*^9, 3.7221774882360888`*^9}, {
3.722177796885215*^9, 3.7221778577247972`*^9}, {3.722177929005179*^9,
3.7221779315009813`*^9}, {3.7221790816166162`*^9, 3.722179160968007*^9}, {
3.7221791958087807`*^9, 3.722179288551086*^9}, {3.7221793236786222`*^9,
3.722179327733328*^9}, {3.722179360401676*^9, 3.7221793782238283`*^9},
3.7221795829020042`*^9, {3.72217969153893*^9, 3.7221797761078033`*^9}, {
3.722179810148859*^9, 3.7221798269384527`*^9}, {3.7221798649719543`*^9,
3.722179910953538*^9}, {3.72217994177639*^9, 3.722179944515526*^9}, {
3.722552931937847*^9, 3.7225529382392673`*^9}, {3.722553097340513*^9,
3.722553099675201*^9}, {3.72255338894587*^9, 3.722553404533592*^9}, {
3.7225537532308483`*^9, 3.722553778893371*^9}, {3.7225538261041822`*^9,
3.7225538614301157`*^9}, {3.722553924878353*^9, 3.7225539733950043`*^9}, {
3.7225542058649483`*^9, 3.722554220796348*^9}, {3.722554284949037*^9,
3.722554345717689*^9}, {3.722554382159294*^9, 3.722554388733658*^9}, {
3.7225544583846893`*^9, 3.722554563691655*^9}, {3.722554595455016*^9,
3.7225546110920887`*^9}, {3.722554719466761*^9, 3.7225548170459833`*^9}, {
3.722554875883642*^9, 3.7225550101053553`*^9}, {3.722555121039454*^9,
3.722555123878742*^9}, {3.722555175546473*^9, 3.722555253552989*^9}, {
3.7225552858710423`*^9, 3.7225552909252033`*^9}, {3.7226420386205397`*^9,
3.722642041991741*^9}, {3.722642409132653*^9, 3.722642448927112*^9}, {
3.722642564395013*^9, 3.722642666442069*^9}, {3.722643004373307*^9,
3.7226431108406363`*^9}, {3.722643297892318*^9, 3.7226433010345497`*^9}, {
3.722643570548061*^9, 3.722643570710195*^9}, {3.722679428775671*^9,
3.722679519281814*^9}, {3.722679582345085*^9, 3.722679589590705*^9}, {
3.722679625198449*^9, 3.722679656073744*^9}, {3.72268001389426*^9,
3.722680062190012*^9}, {3.7226801307689943`*^9, 3.722680140100769*^9}, {
3.722680189133977*^9, 3.722680208844266*^9}, {3.722680298350569*^9,
3.722680352494678*^9}, {3.722680387536199*^9, 3.722680414277074*^9}, {
3.722680470589986*^9, 3.72268049498637*^9}, {3.7226806201407213`*^9,
3.722680629912425*^9}, {3.722680754027851*^9, 3.722680803824408*^9}, {
3.722680851791291*^9, 3.722680959570397*^9}, {3.722683862755484*^9,
3.722683866229084*^9}, {3.72268398853275*^9, 3.722684034065287*^9}, {
3.722684125721545*^9, 3.7226841766009197`*^9}, {3.7226842770951843`*^9,
3.722684282526425*^9}, {3.722684403368335*^9, 3.722684403589113*^9}, {
3.722684448851136*^9, 3.7226844572535563`*^9}, {3.722684496021641*^9,
3.722684499602414*^9}, {3.722684541889656*^9, 3.7226845762255507`*^9}, {
3.722684744253253*^9, 3.722684778450828*^9}, {3.72268495492636*^9,
3.722684976674602*^9}, {3.722685655819973*^9, 3.722685692927676*^9}, {
3.7226857344546337`*^9, 3.722685742125723*^9}, {3.722685791392771*^9,
3.722685832415111*^9}, {3.722696314663933*^9, 3.722696554137178*^9}, {
3.722696647016868*^9, 3.722696652014142*^9}, {3.7227075328336477`*^9,
3.722707551156825*^9}, {3.7227075840307617`*^9, 3.722707638543058*^9}, {
3.722707669856242*^9, 3.722707672507166*^9}, {3.722707749392929*^9,
3.722707792417881*^9}, {3.7227078360415277`*^9, 3.722707836376646*^9}, {
3.722708694186585*^9, 3.7227087061460047`*^9}, {3.722708741181402*^9,
3.722708758995072*^9}, {3.722708827821013*^9, 3.7227088397193327`*^9}, {
3.722708949529479*^9, 3.722709258926057*^9}, {3.722709289621333*^9,
3.722709308723345*^9}, {3.722709340517118*^9, 3.722709423818502*^9}, {
3.722709476197235*^9, 3.722709478497078*^9}, {3.722713706909095*^9,
3.7227139287909517`*^9}, {3.7227140445459337`*^9,
3.7227140900060053`*^9}, {3.722714135540505*^9, 3.722714294426072*^9}, {
3.722714335397942*^9, 3.722714390328964*^9}, {3.7227144512556*^9,
3.722714457409968*^9}, {3.72271449857335*^9, 3.722714560317462*^9}, {
3.722714610108695*^9, 3.7227146261066847`*^9}, {3.7227195323490257`*^9,
3.722719574822736*^9}, {3.722719607068997*^9, 3.7227197883358583`*^9}, {
3.7227198186024714`*^9, 3.7227198940876226`*^9}, {3.7227199555045843`*^9,
3.72272008064771*^9}, 3.722732522904015*^9, {3.722732564413484*^9,
3.722732568835085*^9}, {3.722776260419773*^9, 3.7227763446425123`*^9}, {
3.722776426442665*^9, 3.722776433287471*^9}, {3.7227764692080727`*^9,
3.722776645068447*^9}, {3.722776721380712*^9, 3.7227767385670757`*^9}, {
3.722777094422476*^9, 3.722777224330649*^9}, {3.722777309747583*^9,
3.7227773335965033`*^9}, {3.722777374981543*^9, 3.722777466525915*^9}, {
3.7227775193576813`*^9, 3.722777572868147*^9}, {3.72277761003398*^9,
3.722777620720606*^9}, {3.722779402340508*^9, 3.722779408200382*^9}, {
3.722779629955105*^9, 3.7227796399441338`*^9}, {3.722779702444126*^9,
3.722779704232997*^9}, {3.722779778864972*^9, 3.722779786156052*^9},
3.722779940921968*^9, {3.722780037696011*^9, 3.722780044496585*^9}, {
3.7227801380423183`*^9, 3.722780138793953*^9}, {3.7227802598578997`*^9,
3.722780281821343*^9}, {3.722780324195335*^9, 3.722780348050413*^9}, {
3.722780378229513*^9, 3.722780389912286*^9}, {3.72278044813237*^9,
3.722780522172029*^9}, {3.7227805835978823`*^9, 3.722780600095017*^9}, {
3.7227807067842693`*^9, 3.722780707837399*^9}, {3.722780743709804*^9,
3.722780744722987*^9}, {3.722780983376773*^9, 3.72278100824761*^9}, {
3.722781078453878*^9, 3.722781119741905*^9}, {3.722781333845889*^9,
3.722781377960231*^9}, {3.722783524361939*^9, 3.72278353963093*^9}, {
3.722783592153687*^9, 3.722783876235198*^9}, {3.722786252120474*^9,
3.7227865038694687`*^9}, {3.722786537292239*^9, 3.72278658815166*^9}, {
3.722897905593747*^9, 3.722898096540407*^9}, {3.7228988799041643`*^9,
3.722898976466036*^9}, {3.722899041716118*^9, 3.722899072177025*^9}, {
3.722899105266985*^9, 3.722899188649015*^9}, {3.722899222417581*^9,
3.722899223456506*^9}, {3.722939140951494*^9, 3.72293919808819*^9}, {
3.722939298929391*^9, 3.722939352957797*^9}, {3.722939397327302*^9,
3.722939417846809*^9}, {3.7229394698976583`*^9, 3.7229394731606283`*^9}, {
3.722939736694681*^9, 3.722939819447661*^9}, {3.722939867558362*^9,
3.722939869357052*^9}, {3.722939932916965*^9, 3.7229400023331537`*^9}, {
3.722940033861812*^9, 3.722940040451459*^9}, {3.722940147539065*^9,
3.722940148264264*^9}, {3.722940178703266*^9, 3.722940262557914*^9}, {
3.7229403028378563`*^9, 3.722940306955454*^9}, {3.722940600890133*^9,
3.7229406148041162`*^9}, {3.722940652141582*^9, 3.722940654484191*^9}, {
3.722940809773671*^9, 3.722940872370141*^9}, {3.7229410475343237`*^9,
3.722941058000368*^9}, {3.722941184749352*^9, 3.722941192635647*^9}, {
3.7229412293239527`*^9, 3.722941502795841*^9}, {3.7229415331283503`*^9,
3.722941534394883*^9}, {3.722941629179207*^9, 3.722941658092505*^9}, {
3.72294173205346*^9, 3.7229417451928673`*^9}, {3.722941786594534*^9,
3.7229420302525377`*^9}, {3.722942251457223*^9, 3.7229424570871363`*^9}, {
3.722942514461317*^9, 3.722942584041544*^9}, {3.722942635239827*^9,
3.722942637021256*^9}, {3.7229426780189657`*^9, 3.722942687324285*^9}, {
3.722943377841176*^9, 3.7229433816811934`*^9}, {3.7229434332673817`*^9,
3.722943435386221*^9}, {3.722943486910055*^9, 3.722943546100618*^9}, {
3.722943765315851*^9, 3.7229437664274387`*^9}, {3.722943798810566*^9,
3.72294388560495*^9}, {3.722943983625399*^9, 3.722944064127043*^9}, {
3.722944095252385*^9, 3.7229442612676764`*^9}, {3.7229443320639677`*^9,
3.7229444097440453`*^9}, {3.722945218380934*^9, 3.722945232784319*^9}, {
3.7229452943584137`*^9, 3.722945313340266*^9}, {3.722945377354122*^9,
3.722945380051231*^9}, {3.722945470375828*^9, 3.7229454722948227`*^9}, {
3.722945540939205*^9, 3.722945604479611*^9}, {3.722945762265848*^9,
3.722945774607267*^9}, {3.722945826149959*^9, 3.722945827884653*^9}, {
3.7229458860020723`*^9, 3.722945888619814*^9}, {3.72294601379181*^9,
3.7229460226449833`*^9}, {3.722946061005567*^9, 3.722946093424282*^9}, {
3.7229461527379313`*^9, 3.722946153471037*^9}, {3.7229463187597723`*^9,
3.722946355550803*^9}, {3.722946386492127*^9, 3.722946446392954*^9}, {
3.722946498823493*^9, 3.7229465237975082`*^9}, {3.722947819029059*^9,
3.722947855109953*^9}, {3.722947907741803*^9, 3.7229479208754473`*^9}, {
3.72294795737138*^9, 3.722947967040429*^9}, {3.722948055552968*^9,
3.722948077677103*^9}, {3.722948126028263*^9, 3.72294813072184*^9}, {
3.7229483064592543`*^9, 3.72294831758519*^9}, {3.722948431483837*^9,
3.72294843163581*^9}, {3.7229485743318863`*^9, 3.722948617490878*^9}, {
3.7229487173600492`*^9, 3.722948763540135*^9}, {3.722948829695015*^9,
3.7229488301538267`*^9}, {3.722949241764127*^9, 3.722949241935505*^9}, {
3.722949317613796*^9, 3.7229493556745377`*^9}, {3.722949416826508*^9,
3.722949417103758*^9}, {3.7229495877809563`*^9, 3.722949740249049*^9}, {
3.722949778574265*^9, 3.722949791518121*^9}, {3.722950653930677*^9,
3.722950757779461*^9}, {3.7229507922178583`*^9, 3.722951078244997*^9}, {
3.7229511111407948`*^9, 3.722951116043941*^9}, {3.722951201554352*^9,
3.722951240662098*^9}, {3.722951344242498*^9, 3.722951432324959*^9}, {
3.722951752472597*^9, 3.7229517595352373`*^9}, {3.722951799910369*^9,
3.722951983364595*^9}, {3.7229520581768427`*^9, 3.722952064024467*^9}, {
3.7229521107682323`*^9, 3.722952112574883*^9}, {3.722952179360856*^9,
3.722952183003415*^9}, {3.722952318780751*^9, 3.722952381844733*^9}, {
3.722952437708395*^9, 3.722952465073524*^9}, {3.722952504975348*^9,
3.722952537695772*^9}, {3.72295257430667*^9, 3.722952610293478*^9}, {
3.722952660819148*^9, 3.722952714318522*^9}, {3.722952905270133*^9,
3.722953003917694*^9}, {3.722953050671411*^9, 3.722953063404367*^9}, {
3.722953112530752*^9, 3.7229531695207453`*^9}, {3.72295323832521*^9,
3.722953238874291*^9}, {3.722953909541346*^9, 3.722953991346229*^9}, {
3.722954126251698*^9, 3.7229541521516647`*^9}, {3.7229544915356216`*^9,
3.722954778994288*^9}, {3.722954818976696*^9, 3.72295486307012*^9}, {
3.722954914635075*^9, 3.722954961150655*^9}, {3.722954995352335*^9,
3.722954998770349*^9}, {3.722955031270249*^9, 3.7229551281296997`*^9}, {
3.722955164105886*^9, 3.72295520220634*^9}, {3.7229552441404753`*^9,
3.722955248643867*^9}, {3.722955361121621*^9, 3.722955524783581*^9}, {
3.722955705437213*^9, 3.72295571986803*^9}, {3.722956357322598*^9,
3.722956357510895*^9}, 3.722956405025384*^9, {3.722956478741003*^9,
3.7229565819336*^9}, {3.7229566433730164`*^9, 3.722956651371723*^9}, {
3.722956761021553*^9, 3.722956798364203*^9}, {3.7229568399615183`*^9,
3.722956870657487*^9}, {3.722957044441698*^9, 3.7229570777266617`*^9}, {
3.7229571300841513`*^9, 3.722957202519483*^9}, {3.72295724084833*^9,
3.722957271173993*^9}, {3.7229573192840567`*^9, 3.722957322361711*^9}, {
3.7229582845364227`*^9, 3.722958315442626*^9}, {3.722958425116274*^9,
3.722958470616476*^9}, {3.7229585665015097`*^9, 3.722958602697891*^9}, {
3.72295881556314*^9, 3.722958851000339*^9}, {3.722958894855463*^9,
3.7229589628510647`*^9}, {3.722959038577608*^9, 3.722959123379734*^9}, {
3.722959218625296*^9, 3.7229594167264557`*^9}, {3.722959950582053*^9,
3.722960120198575*^9}, {3.722960182383564*^9, 3.722960207691558*^9},
3.72296036880449*^9, {3.722979202448388*^9, 3.7229793516170692`*^9}, {
3.722979419457059*^9, 3.72297956117426*^9}, {3.722980119625948*^9,
3.722980297681563*^9}, {3.722981173365808*^9, 3.722981224227847*^9}, {
3.722981277216502*^9, 3.72298128059023*^9}, {3.722981313675784*^9,
3.722981335383082*^9}, {3.722981420981471*^9, 3.7229814253203278`*^9}, {
3.722981459937756*^9, 3.722981510837072*^9}, {3.722987132222179*^9,
3.7229872190971317`*^9}, {3.722987286765801*^9, 3.722987313337542*^9}, {
3.722987668677638*^9, 3.722987896753188*^9}, {3.722988103823848*^9,
3.722988114070175*^9}, {3.722988161023695*^9, 3.7229882467403297`*^9}, {
3.72298827969374*^9, 3.722988287795309*^9}, {3.7229883358919764`*^9,
3.722988352899387*^9}, {3.722988425469079*^9, 3.7229884432404613`*^9}, {
3.7229887456670113`*^9, 3.7229888465778027`*^9}, {3.722988900250676*^9,
3.722988939226631*^9}, {3.7229891798331013`*^9, 3.72298929742743*^9}, {
3.7229893335820227`*^9, 3.722989360624835*^9}, {3.72298941019781*^9,
3.7229894200443277`*^9}, {3.722989475002596*^9, 3.7229894755748243`*^9}, {
3.722989899807816*^9, 3.72298993936016*^9}, {3.722989991129813*^9,
3.722990063044139*^9}, {3.7229901095084047`*^9, 3.722990110011091*^9}, {
3.7229902022314987`*^9, 3.722990207334203*^9}, {3.722990436852427*^9,
3.722990539286339*^9}, {3.722990600852551*^9, 3.722990633083778*^9}, {
3.7229906963250647`*^9, 3.722990697490044*^9}, {3.722990735196621*^9,
3.722990737439871*^9}, 3.7229908170505457`*^9, {3.7229910108839912`*^9,
3.7229911020506163`*^9}, {3.722991195471539*^9, 3.7229911971857452`*^9}, {
3.7229913338161497`*^9, 3.7229913588289623`*^9}, {3.7229915900742273`*^9,
3.7229916518632593`*^9}, {3.722991864426156*^9, 3.722991881871727*^9}, {
3.722992016222734*^9, 3.7229920203477583`*^9}, {3.7229921441439667`*^9,
3.722992167189015*^9}, 3.722992206814517*^9, 3.7230282893843718`*^9, {
3.723028366217297*^9, 3.7230284372391033`*^9}, {3.723028477560584*^9,
3.723028639145605*^9}, {3.723029033359091*^9, 3.723029044806328*^9}, {
3.72302918664016*^9, 3.723029237583337*^9}, {3.7230293209656153`*^9,
3.723029323091909*^9}, {3.723029372354694*^9, 3.723029437556636*^9}, {
3.723030898294798*^9, 3.723030907912181*^9}, {3.723030962625498*^9,
3.723031059225416*^9}, {3.723031107977556*^9, 3.7230311196890783`*^9}, {
3.723031192044368*^9, 3.7230312022915792`*^9}, {3.7230312630015163`*^9,
3.7230312696060762`*^9}, {3.723031403363332*^9, 3.723031406735896*^9}, {
3.723031524967285*^9, 3.7230315255463533`*^9}, {3.723031592379396*^9,
3.7230315945353127`*^9}, {3.723031825055135*^9, 3.723031875765477*^9}, {
3.7230319161405354`*^9, 3.723031920171644*^9}, {3.723032181880804*^9,
3.723032183870257*^9}, {3.723032248604342*^9, 3.723032248905286*^9}, {
3.723033181027205*^9, 3.723033194240996*^9}, {3.723033240764656*^9,
3.7230332424088087`*^9}, {3.723033531762795*^9, 3.72303354207207*^9}, {
3.723033801074622*^9, 3.723033930668457*^9}, {3.723034306627761*^9,
3.723034487943685*^9}, {3.7230348823243093`*^9, 3.723034896503912*^9},
3.723034968574582*^9, {3.7230349996855307`*^9, 3.723035069360454*^9}, {
3.7230351140822983`*^9, 3.723035128797751*^9}, {3.72303721139648*^9,
3.7230372285558023`*^9}, {3.723037293569955*^9, 3.723037326128227*^9}, {
3.723039120726533*^9, 3.723039202568071*^9}, {3.723039252790304*^9,
3.723039274518764*^9}, {3.723039315260475*^9, 3.723039325441657*^9}, {
3.723039415429843*^9, 3.723039431454145*^9}, 3.723039465632753*^9, {
3.723039502321795*^9, 3.7230395104520397`*^9}, {3.723039583265066*^9,
3.723039605928739*^9}, {3.723039649408225*^9, 3.723039730491646*^9}, {
3.723039903450029*^9, 3.723039934122469*^9}, {3.723040010258172*^9,
3.723040033900092*^9}, {3.723040135746731*^9, 3.723040152502236*^9}, {
3.7230401985375767`*^9, 3.723040220886231*^9}, {3.723040319149599*^9,
3.72304034449131*^9}, {3.723040379549733*^9, 3.723040386559742*^9}, {
3.72304045902767*^9, 3.723040464652213*^9}, {3.723040496458153*^9,
3.723040529544602*^9}, {3.723040576370919*^9, 3.723040579452207*^9}, {
3.723040771738373*^9, 3.723040822580271*^9}, {3.723041327498638*^9,
3.723041328889533*^9}, {3.723044742478375*^9, 3.72304484574716*^9}, {
3.723044877022954*^9, 3.723044893983981*^9}, {3.7230451164968843`*^9,
3.723045117447731*^9}, {3.7230451910056467`*^9, 3.723045195085081*^9}, {
3.723045309014731*^9, 3.723045310317708*^9}, {3.72304535321959*^9,
3.723045373764553*^9}, {3.723045403863984*^9, 3.723045446798603*^9}, {
3.7230455137423687`*^9, 3.723045590611395*^9}, {3.723045668908019*^9,
3.723045669844367*^9}, {3.723045740726462*^9, 3.723045744009096*^9}, {
3.72304579650282*^9, 3.72304581177757*^9}, {3.723045905441575*^9,
3.723045947555417*^9}, {3.723045987074377*^9, 3.72304605499058*^9}, {
3.723046090480959*^9, 3.7230463676523933`*^9}, {3.7230464278082952`*^9,
3.723046475825864*^9}, {3.72304693223523*^9, 3.7230470047919893`*^9}, {
3.723047172933147*^9, 3.723047234875132*^9}, {3.723047576279655*^9,
3.723047583121374*^9}, {3.7230479017296267`*^9, 3.723047909291115*^9}, {
3.7230479522780237`*^9, 3.7230479525599623`*^9}, {3.723048056911902*^9,
3.723048157437147*^9}, {3.723048216604294*^9, 3.723048244162781*^9}, {
3.723048419608238*^9, 3.723048553611864*^9}, {3.723048592348987*^9,
3.723048618181538*^9}, {3.723048657892767*^9, 3.723048740181497*^9}, {
3.7230488099620237`*^9, 3.7230488101948023`*^9}, {3.7230492113299313`*^9,
3.723049241478589*^9}, {3.723049946867337*^9, 3.7230500923724937`*^9}, {
3.7230503701366863`*^9, 3.723050373409402*^9}, {3.723050442228442*^9,
3.723050458066978*^9}, {3.72305052172919*^9, 3.7230505627560987`*^9}, {
3.723050595215107*^9, 3.723050595814105*^9}, {3.723050689196295*^9,
3.723050693965498*^9}, {3.723050843525079*^9, 3.723050844740081*^9}, {
3.723050882554*^9, 3.7230508870202293`*^9}, {3.7230510034180603`*^9,
3.723051031857883*^9}, {3.723051148965082*^9, 3.723051149376533*^9},
3.7230511949474993`*^9, {3.723051229412496*^9, 3.7230512960022078`*^9}, {
3.7230515085236998`*^9, 3.723051551154755*^9}, {3.723052318889331*^9,
3.7230523346484537`*^9}, {3.723052383675352*^9, 3.723052416809366*^9}, {
3.723052456113227*^9, 3.723052479693308*^9}, {3.723052601352603*^9,
3.723052630147996*^9}, {3.723052718858876*^9, 3.723052735237267*^9}, {
3.723052787873899*^9, 3.723053016982436*^9}, {3.723053061377901*^9,
3.723053066797266*^9}, {3.723053189533979*^9, 3.723053246115521*^9}, {
3.723053305501058*^9, 3.723053422521982*^9}, {3.72312209078018*^9,
3.723122214933639*^9}, {3.723122258710883*^9, 3.723122269590858*^9},
3.723122312636717*^9, {3.7231223687631273`*^9, 3.7231224531603937`*^9}, {
3.7231226036654043`*^9, 3.723122793498639*^9}, {3.7231229114531393`*^9,
3.7231229913439302`*^9}, {3.723123039348309*^9, 3.723123181133758*^9}, {
3.723123214771254*^9, 3.7231232150038424`*^9}, {3.723123326665248*^9,
3.7231234084106092`*^9}, {3.7231234538103447`*^9, 3.723123562688632*^9}, {
3.723123593259307*^9, 3.72312362531006*^9}, {3.723123671249976*^9,
3.723123678158181*^9}, {3.723123724464397*^9, 3.723123738674903*^9}, {
3.723123788937541*^9, 3.723123878976592*^9}, {3.723123913765615*^9,
3.7231239835688963`*^9}, {3.723124023734763*^9, 3.723124030727236*^9}, {
3.723124114122644*^9, 3.723124120339438*^9}, {3.723124187262619*^9,
3.723124318096719*^9}, {3.723124356026112*^9, 3.723124508212347*^9},
3.723124561824251*^9, {3.7231246051951*^9, 3.723124633723634*^9}, {
3.723124805951333*^9, 3.7231248850282497`*^9}, {3.723125050126411*^9,
3.723125112667364*^9}, {3.7231251440113287`*^9, 3.723125201069936*^9}, {
3.723125261898265*^9, 3.723125311234322*^9}, {3.7231253723166018`*^9,
3.7231255565592823`*^9}, {3.7231255949653053`*^9, 3.723125629796208*^9}, {
3.7231257519397907`*^9, 3.723125815427972*^9}, {3.723125853219439*^9,
3.723125988862279*^9}, {3.72312604983869*^9, 3.723126077689402*^9}, {
3.723136825132579*^9, 3.723136840463543*^9}, {3.7231373548240347`*^9,
3.723137482312634*^9}, 3.7231376472564287`*^9, {3.723137679334774*^9,
3.7231376794825563`*^9}, {3.7231378607666492`*^9, 3.723137868780468*^9}, {
3.723137946090267*^9, 3.7231381091702757`*^9}, {3.723138140584491*^9,
3.723138176639102*^9}, {3.723138209482563*^9, 3.723138311554937*^9}, {
3.723138346733584*^9, 3.723138376568903*^9}, {3.723138489310994*^9,
3.7231384894783163`*^9}, {3.723138557787613*^9, 3.723138569213766*^9}, {
3.723138620363715*^9, 3.723138701237224*^9}, {3.7231387711782303`*^9,
3.723138805670092*^9}, {3.723138843260356*^9, 3.723138850089714*^9}, {
3.7231388963562517`*^9, 3.723138906042848*^9}, 3.723140219696169*^9, {
3.723140264659357*^9, 3.72314028769841*^9}, {3.723140402372161*^9,
3.72314040300108*^9}, {3.7231404349028597`*^9, 3.723140482309444*^9}, {
3.723140517108148*^9, 3.723140550744886*^9}, {3.7231409174920483`*^9,
3.723140975556403*^9}, 3.723142602883669*^9, {3.72314295460172*^9,
3.7231429949156237`*^9}, {3.723143103954403*^9, 3.7231431357112503`*^9},
3.723143352533333*^9, {3.723143770388378*^9, 3.723143903889822*^9}, {
3.72314395501483*^9, 3.72314396383486*^9}, {3.723147484863565*^9,
3.723147517124638*^9}, {3.72314756245253*^9, 3.7231475664575577`*^9}, {
3.723149796849186*^9, 3.7231498043435287`*^9}, {3.723215085518497*^9,
3.72321508869302*^9}, {3.7232153156585417`*^9, 3.72321532903272*^9}, {
3.7232153861127367`*^9, 3.723215387814142*^9}, {3.723215803878841*^9,
3.7232158774952497`*^9}, {3.723215954234791*^9, 3.723216032445532*^9}, {
3.723221365791757*^9, 3.7232213665532618`*^9}, {3.7232214144586287`*^9,
3.72322141782852*^9}, {3.7232214612271976`*^9, 3.7232217457898912`*^9}, {
3.7232217899466047`*^9, 3.7232218195073633`*^9}, {3.7232219108166018`*^9,
3.7232219238352213`*^9}, {3.72322199690854*^9, 3.723222003252226*^9}, {
3.723222131005159*^9, 3.723222131210807*^9}, {3.7232223309988422`*^9,
3.723222331544595*^9}, {3.723224742191049*^9, 3.723224792278639*^9}, {
3.723287621371936*^9, 3.723287622374707*^9}, {3.72328768862288*^9,
3.723287696221427*^9}, {3.7232877477515507`*^9, 3.7232877525167627`*^9}, {
3.723287832014388*^9, 3.7232879067286654`*^9}, {3.723287984262298*^9,
3.7232882972963448`*^9}, {3.723288362293474*^9, 3.723288515524909*^9}, {
3.7232885499399548`*^9, 3.723288552082847*^9}, {3.723288666127919*^9,
3.7232886885104513`*^9}, {3.723289588379593*^9, 3.723289603815361*^9}, {
3.723289712094535*^9, 3.723289819681168*^9}, {3.723289856313066*^9,
3.7232899854017267`*^9}, {3.723290020449682*^9, 3.723290090677813*^9}, {
3.72329013115368*^9, 3.723290259160904*^9}, {3.723290292911563*^9,
3.723290397365604*^9}, {3.723290493422275*^9, 3.7232905393210287`*^9}, {
3.723290589437776*^9, 3.723290628458057*^9}, 3.7232906968329487`*^9, {
3.72330239554419*^9, 3.7233024228917093`*^9}, {3.7233246656141987`*^9,
3.723324667193362*^9}, {3.723378250702654*^9, 3.723378264780923*^9}, {
3.723379550055048*^9, 3.723379557821747*^9}, {3.7234067583291197`*^9,
3.7234068817206373`*^9}, {3.723407566053803*^9, 3.723407707060753*^9}, {
3.7234077490425873`*^9, 3.72340785383937*^9}, {3.7234109132659883`*^9,
3.723411307236847*^9}, {3.723416749294088*^9, 3.723417045044488*^9}, {
3.723461904053953*^9, 3.7234619311995*^9}, {3.7234619680959578`*^9,
3.723462067478107*^9}, {3.723462369777811*^9, 3.7234624369812317`*^9}, {
3.7234625115788*^9, 3.7234626486195517`*^9}, {3.723462683778556*^9,
3.723462686917197*^9}, {3.7234627400101013`*^9, 3.723462742121737*^9}, {
3.723466550154516*^9, 3.7234666627848597`*^9}, {3.723467179746612*^9,
3.7234672310911217`*^9}, 3.7234705213760853`*^9, {3.7234706722190228`*^9,
3.72347072942837*^9}, {3.723470827299617*^9, 3.7234708549227457`*^9}, {
3.723470949518031*^9, 3.723470967960245*^9}, {3.7234710392622766`*^9,
3.723471142385297*^9}, {3.723471257866742*^9, 3.723471280797468*^9}, {
3.7234713288073587`*^9, 3.723471487262978*^9}, {3.7234719562825823`*^9,
3.723471993807436*^9}, {3.723472041249797*^9, 3.7234721947900343`*^9}, {
3.723472339263631*^9, 3.723472339952937*^9}, {3.723472379920147*^9,
3.7234724389995413`*^9}, {3.723472507816078*^9, 3.723472647399925*^9}, {
3.723472696371602*^9, 3.723472795366465*^9}, {3.723472837482646*^9,
3.7234728425265627`*^9}, {3.7234734736607237`*^9,
3.7234734920234756`*^9}, {3.723473639564706*^9, 3.723473702845838*^9}, {
3.723473754103437*^9, 3.72347382931952*^9}, {3.723475112791155*^9,
3.723475115056137*^9}, {3.723475166467352*^9, 3.723475248419235*^9}, {
3.723554676568213*^9, 3.723554680652972*^9}, {3.723554727985261*^9,
3.723554810319132*^9}, 3.723554892642126*^9, {3.723555010603266*^9,
3.723555028600984*^9}, {3.723555261148326*^9, 3.723555263279644*^9},
3.723555664991641*^9, {3.7235557067274237`*^9, 3.723555872560895*^9}, {
3.723556064270853*^9, 3.723556112363852*^9}, {3.723556163194612*^9,
3.723556179432047*^9}, {3.723556210118332*^9, 3.723556237883196*^9}, {
3.723556274808516*^9, 3.723556294661351*^9}, {3.7235564207029963`*^9,
3.723556423455392*^9}, {3.723556486525649*^9, 3.723556538225857*^9}, {
3.723556622994382*^9, 3.72355671697635*^9}, {3.723556790299148*^9,
3.723556820135851*^9}, {3.723556862913031*^9, 3.7235568774157047`*^9}, {
3.723556971597083*^9, 3.7235570376585627`*^9}, {3.723557084884008*^9,
3.7235571074895287`*^9}, {3.723557273866329*^9, 3.7235573616112747`*^9}, {
3.7235573917114964`*^9, 3.723557406360396*^9}, {3.7235574795004997`*^9,
3.723557480187105*^9}, {3.723557520037097*^9, 3.723557527895368*^9}, {
3.7235575671495037`*^9, 3.7235576446293*^9}, {3.7235578528949747`*^9,
3.723557853379607*^9}, {3.723557958116666*^9, 3.723557970922306*^9}, {
3.723558009319359*^9, 3.72355800980735*^9}, {3.723558055582693*^9,
3.723558055931448*^9}, {3.723558264590562*^9, 3.723558285678349*^9}, {
3.723558340153695*^9, 3.723558345303418*^9}, {3.723558393261074*^9,
3.723558396130913*^9}, {3.723558434583569*^9, 3.72355845336099*^9}, {
3.7235586878966722`*^9, 3.723558712936812*^9}, {3.723558747342751*^9,
3.723558799197914*^9}, {3.7235588538100767`*^9, 3.72355889806623*^9}, {
3.7235679538542137`*^9, 3.723567989110175*^9}, {3.7235683500005713`*^9,
3.723568453143364*^9}, {3.723568525876708*^9, 3.723568593023429*^9}, {
3.72356872294907*^9, 3.723568776908916*^9}, {3.723568825771315*^9,
3.723568826408165*^9}, {3.72356890887843*^9, 3.7235689276109056`*^9}, {
3.723569398234206*^9, 3.723569431600547*^9}, {3.723569525378748*^9,
3.723569621490141*^9}, {3.723575526282316*^9, 3.7235755358068857`*^9}, {
3.723575806036751*^9, 3.723576117155896*^9}, {3.723576164131947*^9,
3.723576308781578*^9}, {3.723576352571805*^9, 3.723576377048695*^9}, {
3.7235764200436573`*^9, 3.723576462046826*^9}, {3.723576689684332*^9,
3.723576710180407*^9}, {3.723576936338955*^9, 3.723576997391*^9}, {
3.723577221734256*^9, 3.7235772525723333`*^9}, {3.723577348870102*^9,
3.723577410808724*^9}, {3.7235774519537477`*^9, 3.723577546368803*^9}, {
3.723577624836385*^9, 3.723577637641614*^9}, {3.723577724573807*^9,
3.723577759614191*^9}, {3.723577799826517*^9, 3.723577859282258*^9}, {
3.7235778893058977`*^9, 3.7235779031237593`*^9}, {3.723577935091536*^9,
3.723577989883081*^9}, {3.723637011530821*^9, 3.723637028835952*^9}, {
3.723637122874227*^9, 3.723637149552312*^9}, {3.723637222745982*^9,
3.723637223261622*^9}, {3.723637309733685*^9, 3.723637334580957*^9}, {
3.723637373093178*^9, 3.7236373749828453`*^9}, {3.7236374112034492`*^9,
3.723637411380063*^9}, {3.723637887934532*^9, 3.7236379237014637`*^9}, {
3.7236383434465017`*^9, 3.7236383958464937`*^9}, {3.723638511771257*^9,
3.7236386168000813`*^9}, {3.7236386871657343`*^9,
3.7236386930602493`*^9}, {3.723639184394148*^9, 3.7236392425247927`*^9}, {
3.723639278826811*^9, 3.723639302210375*^9}, 3.723639350560083*^9, {
3.723639423765965*^9, 3.7236394685773373`*^9}, {3.723640751688003*^9,
3.723640755613196*^9}, {3.723643062532895*^9, 3.723643138936778*^9}, {