forked from klevasseur/ads
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathcayley-creation.nb
678 lines (666 loc) · 30.8 KB
/
cayley-creation.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
(* Content-type: application/vnd.wolfram.mathematica *)
(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)
(* CreatedBy='Mathematica 11.0' *)
(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[ 158, 7]
NotebookDataLength[ 31358, 670]
NotebookOptionsPosition[ 30840, 647]
NotebookOutlinePosition[ 31225, 664]
CellTagsIndexPosition[ 31182, 661]
WindowFrame->Normal*)
(* Beginning of Notebook Content *)
Notebook[{
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{
RowBox[{
RowBox[{
RowBox[{"DirectProduct", "[",
RowBox[{
RowBox[{"Z", "[", "2", "]"}], ",",
RowBox[{"Z", "[", "3", "]"}]}], "]"}], "//",
RowBox[{
RowBox[{"CayleyTable", "[",
RowBox[{"#", ",",
RowBox[{"Mode", "\[Rule]", "Computational"}]}], "]"}], "&"}]}], "//",
"StandardForm"}], "//", "Print"}]], "Input",
CellChangeTimes->{{3.6837214080261173`*^9, 3.6837214582397757`*^9}}],
Cell[BoxData[
FormBox[
TagBox[
FormBox[
RowBox[{"{",
RowBox[{
RowBox[{"{",
RowBox[{
RowBox[{"{",
RowBox[{"0", ",", "0"}], "}"}], ",",
RowBox[{"{",
RowBox[{"0", ",", "1"}], "}"}], ",",
RowBox[{"{",
RowBox[{"0", ",", "2"}], "}"}], ",",
RowBox[{"{",
RowBox[{"1", ",", "0"}], "}"}], ",",
RowBox[{"{",
RowBox[{"1", ",", "1"}], "}"}], ",",
RowBox[{"{",
RowBox[{"1", ",", "2"}], "}"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"{",
RowBox[{"0", ",", "1"}], "}"}], ",",
RowBox[{"{",
RowBox[{"0", ",", "2"}], "}"}], ",",
RowBox[{"{",
RowBox[{"0", ",", "0"}], "}"}], ",",
RowBox[{"{",
RowBox[{"1", ",", "1"}], "}"}], ",",
RowBox[{"{",
RowBox[{"1", ",", "2"}], "}"}], ",",
RowBox[{"{",
RowBox[{"1", ",", "0"}], "}"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"{",
RowBox[{"0", ",", "2"}], "}"}], ",",
RowBox[{"{",
RowBox[{"0", ",", "0"}], "}"}], ",",
RowBox[{"{",
RowBox[{"0", ",", "1"}], "}"}], ",",
RowBox[{"{",
RowBox[{"1", ",", "2"}], "}"}], ",",
RowBox[{"{",
RowBox[{"1", ",", "0"}], "}"}], ",",
RowBox[{"{",
RowBox[{"1", ",", "1"}], "}"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"{",
RowBox[{"1", ",", "0"}], "}"}], ",",
RowBox[{"{",
RowBox[{"1", ",", "1"}], "}"}], ",",
RowBox[{"{",
RowBox[{"1", ",", "2"}], "}"}], ",",
RowBox[{"{",
RowBox[{"0", ",", "0"}], "}"}], ",",
RowBox[{"{",
RowBox[{"0", ",", "1"}], "}"}], ",",
RowBox[{"{",
RowBox[{"0", ",", "2"}], "}"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"{",
RowBox[{"1", ",", "1"}], "}"}], ",",
RowBox[{"{",
RowBox[{"1", ",", "2"}], "}"}], ",",
RowBox[{"{",
RowBox[{"1", ",", "0"}], "}"}], ",",
RowBox[{"{",
RowBox[{"0", ",", "1"}], "}"}], ",",
RowBox[{"{",
RowBox[{"0", ",", "2"}], "}"}], ",",
RowBox[{"{",
RowBox[{"0", ",", "0"}], "}"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"{",
RowBox[{"1", ",", "2"}], "}"}], ",",
RowBox[{"{",
RowBox[{"1", ",", "0"}], "}"}], ",",
RowBox[{"{",
RowBox[{"1", ",", "1"}], "}"}], ",",
RowBox[{"{",
RowBox[{"0", ",", "2"}], "}"}], ",",
RowBox[{"{",
RowBox[{"0", ",", "0"}], "}"}], ",",
RowBox[{"{",
RowBox[{"0", ",", "1"}], "}"}]}], "}"}]}], "}"}],
StandardForm],
StandardForm,
Editable->True], TraditionalForm]], "Print",
CellChangeTimes->{{3.683721446514974*^9, 3.683721458879116*^9}}],
Cell[BoxData[
FormBox[
GraphicsBox[
TagBox[RasterBox[CompressedData["
1:eJztnQe0VdW19/lSTKLRWBITjERDFFAQaSKRKgIiKlWkKggqUqRJRxAuCkqX
KiBFkCoIVzqCICA9KHAxWBJbEtPfy0teEoF71vd7+z/2HIt97j4cLnCDcuYY
94599l577VX+a5a15prrp+26NW739UKFCg3g72P+/u/aZShDGcpQhjKUoQxl
KEMZylCGMpShDGUoQxnKUIbODUokEl988cW//vUv/eT6+PHj9vTf//63/fzD
H/7wt7/97X/+53+4/uMf//iXv/xl//79pNdTHumCR/w/evQoj+bNm6c8c3Nz
//73v3P9j3/8g/9//vOf9UWS8f9///d///nPf0by+a//+i/+86IVhpKQnv92
k9w+//zzw4cPKxPu//d//7euKTmfUOF5i8Jz8fvf/14F5umnn35qOatU0LFj
x6xUSqn6Qr/73e/y3cgZOlWiI/yud0GfqnNd0H30iyXg529/+1tLuWXLljZt
2gwYMKBFixb8/OCDD/x8hEMXwGnq1KnKWXcEXcFJyJk1a9Y999zTv39/rv1P
uBAea9asWb9+/dq1azdu3Pjuu+/acNDrl156ab9+/Xr16vXiiy8yWLi+9957
b7/99unTp+tm8eLFSfb444+rygJe27ZtudO9e3euVWVGB8UmTyv8xx9/7Jf8
/fffz0cjZ+h0CPjBYcBe8iNgAPtSb7oAcmJ3IISuBHV036hRo0aPHg377d27
t7iu8CwIDRo0CIQULlwYFrp161ZxRS6eeuqp3/zmNy7gS3DRuXPnrly5kgvu
DBkyxJiVffrXv/51Tk7Ohg0blixZsm3bNsGJ3IA6bwFFfoLD9u3bt27desSI
EX379m3SpAlQb9my5eLFiy+55BJKOHPmzCNHjpCSWlAXSqXrN998c/z48YCQ
z6mChmFVVhf6KAlsdGSoYIi+QLT5EAUhJtDp2WQ2C11++eWIy6pVq/KIBKVL
l/7Tn/5EYpOn/OcaaPXo0QPO88knnwh4nTp1gmEuWrRI+Xz00Ufkc+ONN77+
+uu8XrlyZbFQ8pTA5QIuPXTo0IEDBwL4ZcuWGYBdAJgqVapwsXz5cpghgHz6
6addyPRKlCgBk6xYsSK4Raxz58MPP1TZkOw//OEPXcCxEQF//etf/doJjWoT
UzZMsmSoYCi5wekR8TF6ELToJjiRZkgXqx9RwwoVKgSnuuCCC9TvFSpUECTs
LXBFzwK/CRMmkMbwD6e97LLLTFaCVWT3lClT9uzZw0+YoZVKnMrnVwwBFc8F
g4jMubjooovGjBkDLAFhdnb2zTffXLZsWWAMi0bE8wpjBIlv2jUEV+fdWrVq
cT1nzhzwr/uS7FRWdVFlUSrGjh3rJ8hQwZBJMWN6RnQQvWNg8/mnAMMrvC5l
ksR169aVrWHamr0iLU5E/2ZlZf3qV79CK0B5ALfA7O233542bZoLgHHfffdJ
lf13QH4hI0T+4rTAT+kli9Ef0AFUEplXGHEHDx7kQiUk5aFDh1A5PgmIO4MH
Dxav1n/ZX/oKw4E69uzZE7U2uSkyVABEfwFFGa00PoyFvjtw4ABo8bkosAQP
3IEj6c5nn33mAsjBTtEbYYlkYoJS7x4NiKxyAwKrcEt4JiiyAvziF79wATbI
f+TIkWCJd4GW8PmvgFQYpefamOp7772n8iuxsEp6mytwofWt1/kK923IUNm9
e/dOmjSJKpCtVVb18o21zp07N2zYkLoYA8/Q2SbNxthPegRkNm7c+Nprr124
cKFumvbly0cXyj4X8hPpdS6U71JE6U09ta/AynTN6wKMoV0oAhLSJewVFYCf
vqVmM1EuBJ5eN9zyIRfoGNIWbF7LeCP/P//880hduGl82xQSMWFo3LhxKA87
d+5Ms3kzlD7R2maMWx9J3gkAw4cPv/LKK//PgfXrX8em2LVrVyQH6yYXwECW
rPJJxFBcYeJEJAWzt7jwJznPOMms0wxtXPnt68a6scLQZFBrUQxsLDDMbXRk
pH8+KGKcymA3xoXAoi9gOIATy+JnP/uZtDK9ePjwYZNo/IQdaaLJJsk1t58n
HYshctDkuWYGDA/cVBdDGgKk4UNx+RyNodyQNJlPJuTMRwU5uym1QR+NI1Wc
xrFJA3KYOnUqQxgVyHRgkV+qiD6foRREc9E7f/jDH5BotkriAmTK+n7llVeK
Fy+O2VKuXDnTzfbt2/fYY48VLVoUvnrVVVddccUVpCldunSlSpVq1qx5Z0CY
wFjcNWKoZgxVrFiRTCpXrly9enV+kkntgKpUqcJbdwTERbVq1UiQIp8qMaSn
Khg/f/7zn99yyy3ly5dXzjziPjmTf9WqVfXRPKlevXoUtUyZMq1atYJzSqkA
tGit+/fvb9as2ZQpU1wAyzwnkN2JakmGUpAWR3TN0EamG3MYP378XXfdxQWG
Caa08+aIMF1/85vf+MuXsnQsWzG6U5XvsCxfOzU6Vfkex1d9Ac1PSkix/YGp
/MVLZcflScotrgoMbYymjh076g76j29OWo0yU1KnStaGyCy4xIgRI1y47OgC
U8KfAE9+K837KUgy3c9BQIrIxHzknGf++SbNP2iMMKBslsAMKwRQVlZW8+bN
dUeGm4S76PTLcD6QWActjIhXx9GMa9euLVmy5KpVq2Sxmh5lE5gyZjW9w00z
5JMpN4bSKZuxOBlc9pYhNh9Ik+qbXACfr6ZDeouKGxflXSnzn332mQnuWbNm
oSrs3r3b/xYtRrOfkWHylSffAckFE+Zjxoy5++67d+zYYQlcaEaJFUhwS1ae
NP9Tle955iCzxX8r3/Z7HP+MK1tc+Y8cOWKKJWVDrCROnCB14dhndDPYaU9z
iCIljzKL9WmSyaatW7d27dpVir21sM0dCZy+XHOBmgdzS9bEpPyT7aniM44r
nqX5JQO/uGJy8VKXH4z96U9/Mp0H0WO6kFioWfENGjR47rnnDh06pKfSb0+/
/F8lkj3uX5tjJ22FJGrbtu3KlStdvrQ7QVRzPi6cEtdN0wpc0IPClfmqGczk
gSnKDVyndG3Kg9+hPv/xuauu+a5yUxqtxQv5EgSJYI3Avk5rSGFQen8613mz
8TL38tc+0IABAzD2X3vtNcPz3wOyzHVxPvuRAhVzXLSZTGjgwIENGzbUoqQt
35wS0WXJa+LqRwHGv+mzPksvh1LDhi898/ycMgG91CVZKPNfFRQOP/zwQwOw
CxHrL3TqLWSEn5UWmKw1pNik3yY+qV6o9G3atHnjjTcolTit7qMtaFVLFPF0
PR/Imp0usBVAuBCqe/Xq1WWn25xn/kjvmuYvjiSY0a2+bcUjekddw4U/vWNL
A0KCiXvfqc8S+zjnQ+TDVzQWDOcMNwOVMS77Iq0BCEkQWToHIZaDr2n76/un
StI/+dzDDz88cuRIK7/uMwxV99Ppgi81mQBVs9DsCxYsKFy4sPzV1UHcFBfN
B0l0amLQkJOMjWRl1WdQxtAk1sU8peXa6z5HBZbSGyNcGhhYGQCVHI/185e/
/KXzIGqOx5A/F2FfkTegKuKX5JRITtdWfZT8Ll26mAizsSDWEVnUOx/ItBrJ
LAbps88+++CDD8K+wKf1hbyV8qFf+dN6/Kf3bf3d0kSy/eCDD5TGVkJdiFWu
Jf40arTMai+alutOdAG1CppHigu5U4R8HdUnDRAQGFFCqI5vBKXRHnmQdojo
moHw+uuvI+uzs7MNpf8IyHlj+bwi2kedvm3bNpDZqVMnX/tC/zHZapPM6ZPv
VX7w4EEwP3HiRJQHOA9DI9nWpoOwxfxtO5E0KhvWBLrZW2+9pRV5e+rLWbDE
1/mKryfQ6e+++y517N+/f9euXRmP6H5Y0EOGDHGBqcL/mTNn7ty5E1G+fft2
U/8A59y5cyk5wGZcGDu1zJPV3VMiLbS5YCSuWbNmxowZFA+WbtCVH+D5RrZJ
bfLkyZqOcwHzYajKR0JP6UffZzh9suZFkI0ZM+bQoUOlS5eml3ft2jV9+vT9
+/c7b+5RA2HFihV79+61vUsghMTvvPOOv2DdvXt3km3atOkXv/jF1q1bQb5Q
KhZNbk888QQgxC5+6KGHqNqvfvUre3fPnj2XXnop+T/66KM5OTl33XUXLKtE
iRIvvPBCgwYN3nzzzY4dO06YMIHMbSfR4YC6desGSGixl19+ecmSJXpkTZQ/
+W6e/8oHiKoitP/SpUsxATRzIjo/TXhavkWLFnQoXeNCOWWY+WdASmnK0imR
tCYy79ChA/gpUqQIP1966aWWLVvy3wXcVZ3y9ttvZ2VlVapUCVyBEOxZ7sPH
SAZng72rSAyf+++/H75HeeAzw4cPnzNnjpkPmmLauHHjhg0b6Fz+myin0ynM
gQMHGjVqxM+ePXsiRsEAUGfgLF++HLgOHTq0du3aTZo0gX0hLyRSeQuhX61a
NfgqNv7atWvbt28vazpZLz1VMq5rgsCMMvinjKa4Nf0vHaWYN5YTl5KheGu8
05twGEk3d6J5qwtescQiTVH6M40GYHidGemRgk2bNq1WrVr0+7hx4ySyly1b
BuNSmU2zIk/4BoJbP+l9mO2IESN4XZMJvAtIKEP58uVVncWLFwMwQC62rxIC
IcTx6NGjUSfAudWLYsM/69Spw/WwYcN4t2zZskgNzZADjKuvvhrt4oYbbtDm
YpWB18l89erVDByB56mnnpI2q0Wi5Jk3qUyMGl8BcMEYsclStaohnCqoJY2F
6j6lHTRoEInlWMKLvob85XJ2isOn9CjayhfTNHXr1q1pdrWYtaQBL+KNQ7PI
aNVPORTpWnqCLd+onbVURHou0KnoU4wvhCN9BxOD6cn3yYVKpnbVIc0ljrWe
DlpGjRpVqFAh+JsSw1rHjx9PVi5g6a+++qpMbyN/sjTig+QCt2rkxb59+6pU
qUIxFi5cSObt2rXToNAuUdQG8qQwgIRqgnb4GMo5qqkLpiutMD5RYKnowLJx
48boM2pJtALtWLFSGfbUmBHDPBEsdLpQYPEU6fa1r32tWLFijEQNEGS9PzWX
XJhzk+LwqWGuNDQ4dVy3bh2CTLvMnKdHmWlsefphOkS0PyoinG3evHm9e/fu
06cPbCp5l01kaNMXfFo90qxZM2Q0r8OKtWrvQknnTxm5oNPhqMDDhQoqOaj7
KBX5oCcAKk0WqRZ5TkXKydkGV8QWNoRI8fa3AepCeXIfCwsVmlrDlhHxQCiS
lX5Swvnz51911VXotwzeY+G2EYtM4oLxLqWaR/J59jMhjRmkNFShgC6//HIG
rz8eI6ta5zilkO8uMMDpIFp14MCBaIPGS+l3m1eMhLzQXLqPNHUZmFGL/fSn
P73pppvoCxrZPiQrW1733Pdf12rLli1bfOvYyOZIrUMhOKrEpb+MKIWT72LL
SxX0LX1y1rIjpRXkrGy+IYzu7TNYIURs019+hVlJlPAhHqHcYtnlybVUUz+i
CJ+DCaDYjB079siRI/7yEDIFbWf9+vV++9iaBcqJpBI1pYOw8ho2bEiDowa7
YEDZjPSXaOo+NT5d4OzRuXNn9C79BJbW6VqU0VI1DRjhmQqeAPeAbSLpBM7r
r78eqNsElJFBSxnSWckIF3Gfppa1rnys3021EEcyRqGhpMgeZlvxIRKQz7Ew
SkMcGT4ppEoCDMz/OVJIOJW1nuHfZ1maFgZUjIgIK6Mw1MjWhdEfUPVhp5oW
oFJolQwuIOoCWCoTq3W3bt0YCFYk6TyoyuhFMARJK6r/3nvvpajsuUZx+FRr
o6qhyZjbIdyA+9aqxs3Uv3QZI1QopalpSaBYoUIFRCoWCizlhRdeQJlUAypy
V5yBb5La+Kom7fOMk+PfjLBu+tr/mTyRbiSdQfFn5CVCRRAfQrXz1rJVWcMe
Vo92GEXGlPP8sW191vdXsQLLUnMn6kgmu/Vdhkbfvn1RWp5//vn+/fvzNDs7
GyE+e/ZsJIs2SqMnU1rjEr50QKD8+Mc/hvG601gX+I9QCv6JUXDHHXco5obU
G73ir/HZTdPTgBzDHBOya9euWFImv3zvHfs6CJciJ0iYHw4CSDvL6B3a2bYM
m/3Ff3E/WVj+GqI+ZHNEel03bWRpT6WecjNPg9p5DNkYbCLwXCK3PJceJOht
/ULN6DtpaIjJnAGNtuwl0EqIHAs2+Ns8sypOgWGkK1euxORBj/U/ag2blZWl
79owhPObYCKHihUrdurUKbnY5zLF4fMHP/jBggULlMb6zoLPGPnYQGu6+eab
b7nlFsa4r+HYgDWnOEXKovXatm37zW9+E7l/wQUXFC9evGjRooULFy5btuw1
11xTtWrVWrVqlStXrl69evyvVKlS9erVKwWEQlWqVCnSlClThre0v+yGG26A
V3NRokQJ7VPjzu23306HkhjbCo2OLiZznpYsWZI8GUTkyetckL5u3bp8kfxJ
cNttt2l3GwpJzZo1Ma75WblyZSwdciANGgvZFilSBGuLi6ZNm7Zq1YoRTbZ3
3323NuVRADKkAOR86623UhgqVaNGDX6SFSl5Skq+RS244P6BAwf85rWQEcAM
GU3r8S0XyG6GlRrTENijR4+1a9daT/n5MByUGJ2Wor7zzjuni5uzRqYdceHr
gfAT8QSGJ52CdNZ9U6pNmieC2Sdrlm3btvXq1Yv25z8mjFiBeQEVQHVS689f
UoooKnQN7bxw4UJzTgZvkal+WIcYuG5Kz9TeGd0Rozh48CAQRS/1p6x1oXc1
TWefjvw8S8QnbC1MUQ11H6TZNIsLFpTRyXWNYW4gRGqjpXPHTHjUnvbt28NY
Ro0aJcs6bgPsWaWvKj4TJ/r20xHgDYvJ1xa03d6FeogpIZs3bxbSFBLKBdqX
r5DAfuk4eCmagM1faR5GDvm2TbXAZkoNgb7/mO/XgeF59dVXT58+3QV6WmT1
vF+/fnv37p04caILKgs4ly5dit1Em/gOPNRO2r722xbAvtevKj5Ftn1PfgK+
vLMgOUY2j9qxY0dseU3ojR8/XskSSauikyZNQtlAUNLdgkfEfiwYzpmCFMkK
RR3goZIZJm02W1WDNypAK/X1m8jfQMQAN48aP/+zXYXzAZ+Rm9po7+9CNStA
IpuOePnll5s1a0Z/XXzxxVwnggkZabNamNC7OTk5qOUvvPCCC9eekoVgInRZ
PNtkyy5Ux4zH3/3ud1OmTOnbty8F++ijj4wZaq6DumheiJoOHz4cVV9ZMVRN
+dEstF+dAqiL/7mvMD7zrIh/U77QpkDavMT69esvvfTSr3/965p2xg61XQlK
aZO6dHTPnj1NqROGfW0wrhhnlpIngsDY8uXLGzZsiAhwJ67fcf3BBx/Mnj1b
1cFWPXLkyLJlyx555BF/Vi2yG8huKvyCvwRz9uiris889y9b46uOcsK32HoR
lWzXrl179ux58cUX6UdUzdq1a1esWBHV1IXOD2KVWoxGyj/66KP+1L2/laYA
yPi2vC9c4MBGkWQMGsOnBQYNGnTLLbfUq1dv0aJF8vChap9++immk21m92tB
Ai0eJbdnBp/5Jn9/dCKM9pAINg+abh/nQQqr9ANCIvRlDmNiPP74440aNUJc
YkFEtC/s3ypVqmBl+L5hyqdgtFDb0fbhhx/26NEDHIrJc5MLBlqrVq0oPHq1
RdsWYaG/9NJLq1evdl7MjeT8pdsoatwZ2VSeDn1V8Wmb6CVtkxvcb2FktMS6
rVjZxIvEuhYpdAeFDQD06dOnS5cuI0aMsNl+LAteb9CgwcyZM6XjJW8qPH3y
dx1GVnjlTb1x48by5cszTLg+cOAAXPHugMCnVSrP8lhz+XfSwaFth0le3bN8
7FoZitvL4RPxZO4oLlwEt0g1yAINHJfX8iUNLt14xYoVNvWtYAi6tsVWF8xm
+M0lTsWLixcvnjp1aq9evVzAi9q3bz9//nwKkJWVRb3mzJmDWKRU5iMkxebZ
Z59FKULmpr8JSO2TP2blmzBisPbT9uPbUwspRvPee++99evXx8SwLQPjxo2r
UKGCuTKCIvEcy80mTvNnN0Xe8jeA79+/v3jx4vPmzXvmmWcQ7tddd93ChQvB
qu85nL9N63GP/C0GYCw3PBomBZdTgdGdqlatunv37muvvdYFwDDmEKHnn3/e
JlvU7BEj9Ec/+hGND6NQnHAXHk+QCFZUDx48CJY0SGEpiA8/8BGCg+EM9kqV
KsX/oUOHIhnRf+jZOnXqbNq0CdNj1apV3KQZyVNLM8gmhhVdDPtCD0x/H0Fk
V+mpEvD2pTYt5s+38JRxlNy/pKENGwckWG7dunXy5MmMVkxmcWBaD601Avt8
zHibKc1Hu3btSiv94Ac/gAMkAnedfv36Yc3VrVu3U6dO2g7sL4SRwLiTnOdt
klbkh6OxakqspygStQAVll4tFgnV5UJurNkPGFrHjh2py5o1a7Au33rrrQkT
JrRs2dJfzEJI8ZSBduWVV86YMQNRRfkVBwxrdOLEidYUKC1aDhs+fHiNGjWS
Nz6jeuXk5DB4LfyCC9kOeLvpppv4CdukDLVq1UIJx6IE8HwUda5p06YoS889
95zvEUpXwgfg55QQwJMmrnF0SETEpdDFx3U8HkP+WhItHEGOQltba8uHUBv3
dEd2BOOoXbt2l112GTjxV/kZidofqululxSS4lQJicOwHTNmDNdwIRtTSMyV
K1cmh0Ch8Mk+bynID95LUbXFLIUeuGTJErgQHBsM0A7Ukf/+DIYLV0zMbYP0
XP/kJz9x4c5xUCcE6ov2IsKX8tiaMkP++9//vqIl0C86GaFSpUoujGmg0WRd
s2/fvieffLJ37979+/efNGkSrINmsTCGlFybj/jPnWrVqqleQmOJEiUYCHfe
eSfqnHKzHly3bh19rb4A2Gk2rHngp98XPtlqJnUfPXr0FVdcAdtHXif7zfpk
Wg0Y0A5o2qR169bmY3PHHXcwADXebQ0035uX9TlstFdffRWh07lzZxdOfA0Z
MgT+iXjStNiPf/zjQiF973vfu+qqq34UEKgoHxB6CIkrVqx466230sWKEkyV
UQyKFSsGY7n55pthFKT/fzFEzt/97ncVc75IkSLf+ta3LrnkkgcffDAOn4gk
mQbwnA4dOpQsWVIDGRYKDIxHaeoD7Q4ggU9bvNMogw22adNGd2hnpO2sWbPk
Wlm0aFFTRPkKKFVW8oJOln1r166lylxQC6C4YMGCCy64gP7SZA7aO3iwjSeJ
YN/Bhg0b4AwAnl4WByhbtmzqLqMpUDMYHffdd598XSrGUKUYuvHGG+kj/l90
0UXf/va3kSk2+SkPHIibWOgMMbqPXvvOd75DayAR6Gh+0q30I0Xl64ULF6aP
hCUhhyprpBufz5+fniYeuQDw3bt3v//+++vVqwdLUctjHKF8WtgBi2Vhr1uY
RFumlDptst6FTmIWcIMEJ2X1aLk0zoUXXghaFi1ahCIXJ99diD07xkuLrVwj
VZGYUtf9xvG3nINAnZYFPFBdVDAEupzWaAdKojNn/eKZzFIwUu0707yZcogc
/akGNIljzWIJzNkG/rB+/XrEVlzLJK+4SdbHUZzcd0HXw/GkpVMXRg38pHnz
5tqsKqEj5uz3uGLlmT6gHdyoo/A33Rk1ahS2MxJfWnQkAGBcvVITjSNvYecB
ni4eO3Ys5gZDCdV0586dFiLA1s0tBxPQmnnzw3rkSXHtJscD2ItFrVGPx9lH
lMHfd6PE3IF/0te+4BPkbAMmP6VL8zkYkbpJWVF+PaL6cGNT1cgcNVIfEiwj
XkMibhqeEUku7BcFBwOldhKcwCY5aEJzxYoVqdvNwtm5cEumdJg8KU7/TGYR
3AEGspiSR4EFGzEWQUuih6ODoRBiKi5fvpw2VLtpR6oVOBKA/VTJ142lQvBf
XJomxVxCADGiH3vssdq1ayP41M4uyc8qLvNjwQ4Fze0cTeMUCUsQN3kSAWpu
GOw6NzzGyIUze4lgZ7F6JOFtjhOT1+tSbl0YvcRqB2xsUPiGnjvRT0AYSASr
M/5StU2/KEiO/6JsTxfwIquLUCespjbJE4G78mnOgUdgHDf2QVrkFFTdRyGp
XLkysMRsQbphbHbr1s06Tskie6xyTyMKX56kQQSXRtXH1tAIQgfApK1fv74s
XPNcitvlJ/dv+3mmvLAsTy2LRIann794cvI07PHwJBp7JU+SiDyeFJY2RXpf
nCW/aJ/2s1IoFQXPSYTbtfIkmYQRVSd/U0xSp31GZ0xVM6v2CSvV5s2b27Zt
C5tCd5IOQw6dA9LoZuAUZJCxI0eOaCxgUTZs2FDrRyh1aGVo5ijM2j7sn6ZB
W9HUcGBTtygzaj8/rb75W6hNBKcRQXnCW9+1VrV47yfVeU5p/cjcHfNR+DRT
kr8O0cuTlObYiaHs84HPyOK7sRGZbH7O2oGCSnnXXXehZG7fvt0F7Agccv2z
n/1M7kwuv5Ph+SOb57R5lezs7Hbt2kXCss2cORP1o1mzZhT1WLjP0Q/yFmm6
PG3eNAk5MmzYMKxy7blAmUfEaELg6quv/v73v48qgkWJCV+hQoXSpUuXK1eO
NNUCuu2227hJYl6RTVq9enVKzn3MWCzuyjHUsmVLaocEwWysWbMm6UlMznHn
E2G3kr9sZx1jxLfIh9fJBHPvkUce6dixI2objIifDPMHHngA3Qn5iJLPUyyU
Bg0a3B5DWM1UkJy7dOmCcnuaEZPkMClTItcLfKELQJiTk4Psxt4fOHAgDFOo
lpYydepU6qiTSV3AtSKxns42mQZlyxlz585lEGm8oClZedDZZs+e/VBAmzZt
0k3Gl8wEBmAkGGz+9BBa8r333jtw4AD/+SJ2zTvvvIOKrp/0FF9UVBxGinaU
SGhqHy4jCztah82J0/Kfn5QN2bQnhlD716xZs23btkOHDlFla/l/xpCmET4N
iAvqrk/IXqO7KQOlpW2RTfw8FNDhw4cZfVRET1Gl4uxxF84lniYGcoNQJL4X
OuXZsmULahu9DB+gKxk7vXr1WrdunWTo0TAmKtVB8+zZs6f5L1nnclFgm+U1
d2HXYo/0EQOKge9CY0Fn6kmaM4gGDRoEi8vKyvKDYYqOBjFYzogIUJxqujId
0SYFjyqgfkS+fjxYzDqlpQ0pmSkS6PBibduUxii7yQ5GlKZqirHKBgYseKmL
12+PhYcVajVB52xaN6VPNilBG8oPgSGD0Ln88ssLFSr07W9/e/LkyUrgKzN8
FP5z3XXX2WqR9fLxcG9pwQQRte8yxiO6k2YFkTLm8qf2ocq2X3X69Olt2rS5
//77Fy1a9Oabb2pG8YwU7GgQc8l+2qTW8XAXjPox/Qw1YxPHr6gLQ0/Tzv7E
zkkLGYfh4zH+Rc47FCwF/k/fcjeii2UcUZj58+fDc1AmAec999yD4LARYenh
t0OHDkX3cOGarD3iJ6iwlYuCgah/1LX6BT5jQxV5dP3111sgOH/Ht80/Y0/1
69ePiqPCjRw50mqUDxFgx8GLjgYRSMwBKdnGiSyYGsXNEKZZDJnPsiZSrM+m
oGT7PVLsiDfRWSJb1Bg8eHDRokWR48h3YIn2K8cqeUEoMUhGbjZp0gSl13nm
GAnAg+8GVpDBHHwzx/+uTSDQTR06dHjmmWcS4a5A42zGIo4FPtvoV2PHjkWf
wS5AyTmdUvlmbJ5P4/o34Tn72TpCJNs49KYzDyCKMLc0X1TZIpNgKfCvdSt/
IiudsvmEmK5bt279+vVff/114zlCmp+tLSFhFcqysBBS1tfGmshH1U9xrl8B
kDQfXTOsMJdatGjhK06RIwls+pFKoWwzBjGcsT1tKsDm4f125mnyhutkkoSy
FpbVmVxaK574xtEgLo0LTT+do6oEMmbVUzoQ0IVn0Fjwurh5Hr93/Ee27mkt
owLLfvSDj9mqWVx9XdIBxLmea1Ai2NcWcZVPBIsU1mWrV69u2bIlqpd8ACJx
7TRdQ/7mnbhs2TJkus7TKbDpo9OhYyee3QyQdu3aVaxYsa1bt7oQAJopTdZD
EkGsBuQCCk/79u0bNWo0bdo031FTnaVuMjmY2j9Hyp4CPVmUPD98pf91/3wN
563Fu/C0LNNknAfjyEk0fjf5eq/lbP4nviZjB3ZIbmoc5bllNYW94y8oaGbS
HgEtPzcJEZuFfvfddwcMGIBuaZ5F5GCHn2q1N9LOmOdI/+eff14e48nrIOcs
5Sbt2gAMipjqgqZwoSDQSoRq5y/ZC7o06YwZM0ApHHjFihV6ZLuVU69MGZk0
MTBE+K0WyslWaLTTPCEMN+tW29qg6pCtZSjA+MuRcSKVoeq8ICp2cExkqGpq
C3ioQcSdBJvUTrwnFeXUDo6RG0ZhoiRDhgy57bbb4AYWwJxvwROMS/s4lw2I
ed6uXTuUMV45Hmylt3Vq/1vnPlxNPdPQ6927N01hTz/55JNIFWwhz7peUem2
b9/et29fDK7hw4dzE/NfXpQn1bf9YYKxBuM9ePCgrwZzx2ektL+F4rEquIBj
Wx/5axCKRewv1pMSIGmmSOql5ohsu8fOnTv5uXv3bqEa3VuVFUQFQuPb1j6p
z63zyx8RshG91EYrcrxy5crVqlWjMSMTaLlBrBt7ywyc999/n47ATMCK9xeG
NPGVvFB7pmYSziDl6bHjvBg4NEuFChXEkWwu5aSjXg7bLjhA6tprr23atClN
BNQVwOqk85N0NwoDmhIg15Krv//FLsSQ582bB/eAsWhMWebASeBRUKyHHnoo
skNE85mgHUsBSTFx4kTtdjFI8PTAgQOUnKdIUoWmRz6i782aNevuu+9maPTv
3x+GRrOMHDkS4Svdm5zr1avHHQZ46iAVVi+FMzUV3fZg0oxDhw7FnOnevbt/
lKQ2X/iWi02C2bwZbVKyZEnK/41vfGPp0qW5wS65PBs/EW7ES90v/xGSfh7x
cHAer4OPlS5dWtEjRaRXaESJM7WGgvz4u1PVenRQ8eLFaaXLLrusUqVKFhYv
NT3wwAO8CAbkFrt48WI/SDUtuX///pkzZ3bt2vWGG26gbPoWKhZ34BU6ScEF
C9ODBg2id6wu8rTXFiTdXL58OWMBE2/jxo3+yTJyoQcbXADLgQMH1q5dG6xi
X4Dk0aNHP/LII6NGjapVqxatMXfuXL1Fa2CqYE0bnJo3b56ipnKU8htf6gTs
rnz58rQAQ5U7WiNzAd/2tQuFE6EAEZWDxEeOHLnwwguvuOKKPn36+HugTMWy
aYSIP8C5RlpDkSON5jqk1NnwhKuUK1dOe3zsLauOb+PnBq6kulazo77yIl1Z
pkwZuMqNN95oQeyTSbPZIJ+UZNusWTPlUKdOncmTJ/uSmkKCJQrWs2fPHTt2
2JGs9KNWQxBziu3JRf369YUWYAMjMkZKz9JxFA8YwGPJ6qWXXuJzJlNIWbZs
2dwgLAAqH1qcFgFlMJYqVQr+CY/q0aOHHSDrgiWPF198kZuUkJHSqlWrFI1/
LIgBYmMcFREdnpzBP/U9euJ5i3KbsaY2H2yRaZ68kp2dTXUQWNhEixYt8jPR
mSA+LPMxo1UwpADXcY90YW729GO/fv2oeORoA+HQjmtxJ4b1sxgXthiaWr6T
hs695ppr0F1RCejxbt260deKfeGCTjS7jMxfeeUVPworZUP4Wgnpa+zrhg0b
co3AnTNnDpmrwDZlrUkAc0Q3OhqcOADnBwYgEy7EyELb6dChAyoBrzNkVq1a
BS+Vt7kN3qysLLg9RiL479WrV8WKFeMqawKdQfHss8/yFaxyNBY7CsGFs0wR
NVU7pHRtZ3XpDsVA5Xj88cflDG+6MWPNj6Oej9ngc59QueFpaET6SX2tU+zM
XxcT2CqZxLH9xAY8cw9DvqP4wd8aN26sphb3kxe3bHnfYoWzARhTPGCPcE6k
/JIlS+h9FIzvfve76kfzbU5htfEJ6sjrDBO59MASt27dGree7gJ4wGNzcnJQ
JBg7WM1oRxFGZ3QsjFcwbtw4dJh0/MF8rJqWkghCiwjSDGoQftLG/0qSVCNE
z6233mqCxqyn3DC6wkktoGTH+9wT/bG1AVPXpNy1a5ft4km9G5GcfU3VD2ai
KKZoki6U7Cetr5FfWs0c5kku3ITuW9MA1fcV8cn4PEMgHfPE2lzux4nwgDzd
xB6sUaMG3Fs/4yIGfLUJeNDaqFU0BS0vZcbMCsNGsrOoT/JM1kSxv5HTtAJx
RWUiNVgKJN+SFipW45+2pq0fx7xjrJVhhD368D4WxLEHqF/EkOLuasIt3wsu
ieC0BRmhskb9YxGEasv5pL43mnv3LXdhFa6OiJH56Z9Wf16RHWHggvC8JUqU
sJXNw4cP6xF9YR5Q6eQpEMrvSAci5JnMP4fOblq3+naZO3F0aK7MDkHgv53L
cFLyAenv9YjDs9RC2/0amRjJkyIHgqSeIvaNdA1wFenNN9+85JJLdN+WtCLb
Ts8HUmMa16JVmzRpguS1OWExisSJ2wqSCZaVvF7pWwSg0fyT1e8mrfyAwL7G
KzDYp1MAw8qmudxE4KOVJ/lls5+n5NWTGwZF0USQlt6k3tjalvPUYD+GfDLZ
IzsFHn47d+5cnf6pXqDpzs2ZzIIhrYupi4WZSZMmPfDAAzqf3aaA0lF+6JRD
hw698cYb27dv3x8QPHnHjh2rV69eunQpnJmLdevWrV27dvfu3TxFndi7d+/O
nTtJs2fPHt7d79Hbb7/NfzRVJB0X27Zt27hxI9e8S2JexNSCz9CJ2C8UD52E
z61fvz47O3tvDJGA/1u2bMFgJx/UV8pAnvtiiE/oPy9iInGxefPm1157jQJT
Hr7Of8qvzFUF6o7ooRF4mo4dDfM3zZkXFdvHhdxS/WJa0PlGPlOSrSQcgooK
FSookAvj2oLtp8gKcL711lsDBw6855577rzzzvr16997771kgvlZt25dAN+t
W7d+/fqR4Mknn+Ri2LBhTzzxRPfu3Xv16tWlSxee9u7du2fPntzs06dP3759
uc/NLgE1aNCA3HSCDHpynYBuv/32O+64g29h3HFRtWpVsh08eDDF7hNDPXr0
6Ny580MPPaRdRdzhc9oknieVKVOGKlSpUoWvIFlat27dtm3bdu3aUTwVngKT
Cd+l8PzU9kkyb9asGfkzCrCYUvDnf4dnFrvAp65Tp05yjLflCUt5PF/xu77s
ZBa6r35rzAJX2rxr167m05UCnybcpRweC0/dSv6cbTRwJ250MqHsJzbvMl9E
WjHkoW1mjjm/nTTekQwx+7oUmNT+zMeCYxPjzHYXyn3neTeloxKbo8iUKVNo
bVsmcydq+zrQ/KS5nT8ky4i+eOqppwYMGOD7oamh5ARlTs5x+UQ8MF0afgs2
fSr/W5v5PCWKyzxiBUvLlYYT95atZSfXJX2SBm7X5svnAhc7RAk82TzDCzIQ
95ea5LBBuzVu3BjtzriZzT7Rwr6Twxkn87U+U/g0R1AtAR/1wjvkhpuk/KVh
GT7pqJGpyTxO/T04LvAfaNiwITqP1dcV+JkUX1JSJBltv0VvpxnliYG94ALh
ZcM8z8MrI5S+u0IEYD5/O318WmFSzHz6+aQzoZQmyQjSd3XQOYYVKvSGDRuU
IDlqaIbiSAPZzoIXI8VgUQxM2VDpbKZOsS4Tl14OLels9sk3PpNZ4rG8guT4
lPA2b+Zvqpwc5IUiS3zVqlUtWrQw5yubHkm9mpYhkb+jXxdqyW3btmHJHjx4
0NegUtiV+dA/XbgN0092pvBp+9P9mVItXZlzhbkAWT6J0HY7nQ0+qo5w2KhR
Iyx93YcJ+Af2uYz+mR6ZYik3XV0z0pHsZcqUwdLU8YgpDmE/TTp6YiyvM8g/
RRopcTwztQ5wqmTGEQrnxRdfvHjxYhfuTbDPIaSOh8Faz9R3v6okLyag6Ed3
VyMj0xngDP9ChQo1adIknVmU42FUt5P2uB+W3AfPGcendoLYtv082aZLmvJN
nMb+d+o+dOjQm266yWbaTTbRpJoPcSeeQJGhFBQnZXRYJIq9Ik6vX78+9dIG
bFB7zeTPltoE2LVrl7+Nzt8Rf0bwKcyLcR06dCgnJ8dCiKMcUhG+rr1OWrWM
6BiUH7Hi+1OlSQztrKysZ555xs4lETh9/2Tbn57hn6dJcNdZs2YVKVIEfJYv
X3716tVxOFHvg4R58+Zt3bpV0Vd8dzUXzL1bpLJBgwYZA9GFzl9wSeEB58+f
P2LEiAEDBmiyy7afSN+grzdv3kxuU6dO7d279+DBgwVLC5uABvhoQJMnT6Z4
lSpVWrhwYeXKladMmUJicFuqVClQhIBQblqkqFOnzvLly2U2mreG8Xx/XcCE
BWBjLNStW3fatGkRXeh8XlU/e6SjjXW9Z8+eIUOGNG/ePAUfgx21atUKvtSh
Q4fXXnsNO+vaa69du3at9ATlQ8dheT399NMAGIaslWs+BFvr2rWrHHjgPzpY
7fPPP+cRyXhEJuCWAmjrtGa6lC0omj59+rJly8aOHWtbHV0wOsikZcuWWj1v
06YN35WT9owZM1ACa9euzWj61re+BfB413DIWy+++GL79u1/+9vfPvfcc8OH
D1dIAT565MiR3GDTpdXILtatW0eltHdVd0xnOD9d5gqS/hZQivlJwIPIvvTS
S+GQxYoVgyMdPnz4uuuuUxhVoII9mwi3ANPRTZs2PRqc+GNqYbVq1fQtu3Ch
joGBBrQQyldfffXGjRtNc4C9k+3u3btnzpyZnZ0NCwWfkUhEDBk5sQCeV199
tUKFCi6Y8mVEkCfFgOkhHVzIkCnevn37EO4Amzt8ul69egxPv0i6AKviqO+9
9x5cukePHn6LHfdOf0tHT87QKZGmZY4GYXt9BTUF/wRI5cqVGzVqVM2aNbG2
coP4achldWhkxQR+pQuTfSVLlhTD0bkwLvBTXbp0KXJWGFPYbXnR+7s1XcjE
ZArpDqxPjqMPP/zwpEmT5syZ069fP8Dcs2dP1GnbVQpiEfpIZIl1OQwPCgjO
qawOHDhAenl3K4og8t2GABy4f//+GoYuUDgtWqPxzzM1858hI6lVfsPS4LDE
OHxq/gRV0MAMO33jjTfoaF9bU4xc/sN5+IRNVnOBTuiCBYJ77703+ag4F/pj
aAuVOWnIbdU4qjla21uRLYGqkYaJAO+8MCP2oinA6KgwRj9Di3ipAejvZ/ki
CKkXKXYi2GGUdytnKL9kbC0RRO83vpSCfzpvQxMdh4iEiVkgJuEkz3kn9emi
RYv0c8uWLf5uaHnmg3+giwQHD/oK+SfLTb8kkL/rx3mHSLoAiiqSvo5Rr8T8
N1ubt5TmiyAWmb+OFjm2Tz7METtIS/8Z5nmWSDGLIm0eh09t6VUaLixGkHpf
Z7u4EJ+KeqTEGESSlYofeDw4klJqZ3KRDBW2OGjFkzVkfNXX/RLBZKZhFYHu
wo3w7sTpNVL6gYg1TPwjmVQG+6ip5ZEmsuXRjOVeMKRw8S4l/xQULRSbC8GT
CN3M6C+bUzIrwxw+JQTNa1QJBEg+DQO3yQQbCMK5kGxIiASds9UxtFm7KeBZ
uEUXGkdWmGTmbMEE9K7WpBIxM/y+mDh+sjjkGTqD5O+vtN7x/ZrgbDqL03nn
cadPlo9c4OyOxG6kMLZWnvCWR1PHI4r7buRQUSNbbIprBz/OeUFGLc5QHNEd
69evHzhwYMeOHTEfxowZM3LkSOxi7vTu3VvBZHr16oXljmWRdYr0ZEBYVdhB
zz77LNb69OnTZ8+evXHjxjVr1rzyyiszZ87ki0899dQTTzzx+OOPczFkyBBe
HBYQF/zkJjY1OQwfPpz/2pHBf7KN+y4p9XVK3qlTJ6rQqlWrZs2a6WyaOnXq
1K9fn59t2rTRwTSdO3d++OGHH3zwQdKvXr3a33Gcof8sYSOsXLmSvqYf1en9
+vWjv7gGM4899hj3gQfQ7dOnz+BTJBACzvsHxAV3tFxInl26dGEU8DnwCWJX
rFixYcOGBQsWLFy4cPHixUsC4oKf3ATV/F+2bNn8+fMnTZo0evRozTLFffeZ
gEApY23ChAmzZs0iK33i9ddf37RpE1bbtm3bduzYsWvXrj179nCRnZ3NV+bO
nZuTk6OWydjp5yDlBtH/zni2srm0vTfiISCR6kf+jLwY2VOPKquDP1LvT1FM
VMWdSJ5nUHwG2ekFcy5GhvJBmq4XmUKYG4S4SYQb2w0GR+PPlU6TDH6KGa4A
wsnaYPoU96FIMhsacfmYju1CbGemks4pSoTHvsc9TXjndKRPeRojKRLnGU9Y
3xW7ixxhEJeVwB9ngqUDvAjTztB/hPwzIiWC/T3L/u6z/G03sxw0LaNt42LX
eR7zHWe/a/5HM5CJMKRe+uMlN6/zcRLeAWRqijwhnaFzhyLYEDDOrEd6hBJe
AMw8Y2AqQWSq6qQu03HTXMl3RMdO9BdVbOSMn9JXhjT9rrluhbzzn/pbyH3V
zo+frAuhLvJTU/SJwHPPz9YiPHz22WfHvYi74pPH8tqPn6Hzmcww/8tf/hJx
zgc58jmxk7x0HyQbeoUuaX28LpQq7v1f//pXO3TAhYhFQ7ATnVywtKp3k+P1
feGdfZah85aAje+qJKEZCT9rC+K+kJX32rEgxI1wqDh1cgj0X9euE1NBbS+e
hTyydc+IHI9s+sjQeUV+oGYQKMENPMxByE5hdiFuJX+1lO8H2UNJEHs0Wz4R
nI5HSjFGPTVZb2voLvQV+fOf/xy3H/+sVD5D5zytW7duzpw5Cre+Z88e+Rsf
OHBg1apVmzdv5r+STZs2TccHTJ06VTPna9asIb0O/xo9erTi2iHcDbEDBw4k
cy6ee+65ypUrN2nSZMKECXbScYsWLXTWM98Cw02bNi1VqtTIkSP1bvJ+/Ayd
n1SuXLn77ruvXbt2qItgZvv27Tk5OdWrV7/qqqsuuuii733ve5MnTwYnpUuX
FsNs06bNkiVLHn744WuuuebWW2+98cYbX3755Vq1apUpU0Znh4nAHq/PmDHj
888/r1mz5qRJk2bPni0vOODN9Te+8Q2dx+oCs4gyTJw4kc/5ZfP342fo/KQ6
deps3LhR4rhatWrwzBEB6SkSv3379gAP5uYCc5s0ABKWCAKxa+655x7getNN
N40fP16v/PrXv37//febN29+wQUXDBkyhDtXXHHFddddR0odq8RbhQsXLlSo
EDnkhvF4AW3r1q2vvPLKuP34GTo/qUqVKsWLF2/YsCGcs0GDBojsokWL6ozC
BQsWwOIUvrVEiRIyf2rUqJGdnd2qVav+/fvPnTuX+6SpV69eoYDk5KkA9Z06
dUJzQNuEOXfr1m3w4MGXXHKJ0MgrxYoVQ7Kbvsr/jh07Mgri9uNn6Pwk+GGz
Zs0Ufb1x48bPP/88wFu4cCFwatu27de+9jVQh875k5/8xAVcDmEN6vr27Xvx
xRfD7hTfFSiiG8jelxoAG4QJDxo0CAHdoUMHfevCCy8EkMCPm6gQr776qguY
JEBdvny5C1TWsWPH2u6PzL7LDF1//fVbtmzRkRlgFZxgxdStW3fTpk379u0D
ouiWGNcAGBMJvoqKCJwUMLxRo0YwXgDGT0Q8/Pbjjz/WhABYffrpp7t06cId
bB/US8BfsmRJdAmQTwKMKRSDd999d/78+aij9evXHzZsGMrw+vXrNTHlr4dm
8Hne0iOPPHLkyBEX8EZgBpyQ7JjtsM0iRYoAQsUpQgUFydxECvMTof/BBx+8
8847MFt+Ll26FIkPm92xY4dt+EXWK+7HypUrO3fu3KNHj507d5K5Aju88sor
iG8Sb926FUCOGzdu5syZ/rmK/pngBd0oGTqXSFOULpgq9xciP/roI60Z5YbH
ujnvyFo7s1KH19h+OpfXBLs8P/UT0U9Kw6EFRvPXieysQ5cJfnjeU7J3pR3B
Bq6kDeqwYz0VXG0t0ja+RdaVdHicfxS17aGTS6fcNTUibBN9pCTJ61AZOq8I
1qeVzUQYKkH3USCPeSGOzTPfLrRv185UBWa8EnfgHZmLDUbc6XWhEx5dsL8v
AlG+ctKjSDN0nhBQtPAIzosOh1Iq29wYYGRa0t9Xot0ZEaXReCA4tIPmIzua
XXiSu6790xXPVAUz9KUjC0gCmzIk6NRvW223BAKSodEkO2nMLDJcmbj3jxjW
hT5EbqZkWg72OR/SGRMpQxnKUIYylCb9f3ozAbk=
"], {{0, 122}, {224, 0}}, {0,
255},
ColorFunction->RGBColor],
BoxForm`ImageTag[
"Byte", ColorSpace -> "RGB", ImageSize -> Automatic, Interleaving -> True,
Magnification -> Automatic],
Selectable->False],
BaseStyle->"ImageGraphics",
ImageSize->Automatic,
ImageSizeRaw->{224, 122},
PlotRange->{{0, 224}, {0, 122}}], TraditionalForm]], "Output",
CellChangeTimes->{3.4978066217520037`*^9},
FontSize->18]
}, Open ]],
Cell[CellGroupData[{
Cell[BoxData[{
RowBox[{
RowBox[{"w", "=", "12"}], ";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"p", "=", "2"}], ";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"wh", "=", "7"}], ";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"h", "=", "6"}], ";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"{",
RowBox[{
RowBox[{"Text", "[",
RowBox[{"\"\<\!\(\*SubscriptBox[
StyleBox[\"a\",
FontSlant->\"Italic\"], \"i\"]\), \!\(\*
StyleBox[\"i\",
FontSlant->\"Italic\"]\)=1,...,\!\(\*
StyleBox[\"m\",
FontSlant->\"Italic\"]\)\>\"", ",",
RowBox[{"{",
RowBox[{
RowBox[{
RowBox[{"-", "w"}], "-", "p", "-", "2"}], ",", "0"}], "}"}]}], "]"}],
",",
RowBox[{"Arrow", "[",
RowBox[{"{",
RowBox[{
RowBox[{"{",
RowBox[{
RowBox[{"-", "w"}], ",", "0"}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"-", "wh"}], ",", "h"}], "}"}]}], "}"}], "]"}], ",",
RowBox[{"Arrow", "[",
RowBox[{"{",
RowBox[{
RowBox[{"{",
RowBox[{
RowBox[{"-", "w"}], ",", "0"}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"-", "wh"}], ",", "0"}], "}"}]}], "}"}], "]"}], ",",
RowBox[{"Arrow", "[",
RowBox[{"{",
RowBox[{
RowBox[{"{",
RowBox[{
RowBox[{"-", "w"}], ",", "0"}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"-", "wh"}], ",",
RowBox[{"-", "h"}]}], "}"}]}], "}"}], "]"}], ",",
"\[IndentingNewLine]",
RowBox[{"Text", "[",
RowBox[{"\"\<\!\(\*SubscriptBox[
StyleBox[\"s\",
FontSlant->\"Italic\"], \"1\"]\) += \!\(\*SubscriptBox[
StyleBox[\"a\",
FontSlant->\"Italic\"], \"i1\"]\), \!\(\*
StyleBox[\"i\",
FontSlant->\"Italic\"]\)=1,...,\!\(\*
StyleBox[\"m\",
FontSlant->\"Italic\"]\)\>\"", ",",
RowBox[{"{",
RowBox[{"0", ",", "h"}], "}"}]}], "]"}], ",", "\[IndentingNewLine]",
RowBox[{"Text", "[",
RowBox[{"\"\<\!\(\*SubscriptBox[
StyleBox[\"s\",
FontSlant->\"Italic\"], \"2\"]\) += \!\(\*SubscriptBox[
StyleBox[\"a\",
FontSlant->\"Italic\"], \"i2\"]\), \!\(\*
StyleBox[\"i\",
FontSlant->\"Italic\"]\)=1,...,\!\(\*
StyleBox[\"m\",
FontSlant->\"Italic\"]\)\>\"", ",",
RowBox[{"{",
RowBox[{"0", ",", "0"}], "}"}]}], "]"}], ",", "\[IndentingNewLine]",
RowBox[{"Text", "[",
RowBox[{"\"\<\!\(\*SubscriptBox[
StyleBox[\"s\",
FontSlant->\"Italic\"], \"3\"]\) += \!\(\*SubscriptBox[
StyleBox[\"a\",
FontSlant->\"Italic\"], \"i3\"]\), \!\(\*
StyleBox[\"i\",
FontSlant->\"Italic\"]\)=1,...,\!\(\*
StyleBox[\"m\",
FontSlant->\"Italic\"]\)\>\"", ",",
RowBox[{"{",
RowBox[{"0", ",",
RowBox[{"-", "h"}]}], "}"}]}], "]"}], ",", "\[IndentingNewLine]",
RowBox[{"Arrow", "[",
RowBox[{"{",
RowBox[{
RowBox[{"{",
RowBox[{"wh", ",", "h"}], "}"}], ",",
RowBox[{"{",
RowBox[{"w", ",", "0"}], "}"}]}], "}"}], "]"}], ",",
"\[IndentingNewLine]",
RowBox[{"Arrow", "[",
RowBox[{"{",
RowBox[{
RowBox[{"{",
RowBox[{"wh", ",", "0"}], "}"}], ",",
RowBox[{"{",
RowBox[{"w", ",", "0"}], "}"}]}], "}"}], "]"}], ",",
"\[IndentingNewLine]",
RowBox[{"Arrow", "[",
RowBox[{"{",
RowBox[{
RowBox[{"{",
RowBox[{"wh", ",",
RowBox[{"-", "h"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{"w", ",", "0"}], "}"}]}], "}"}], "]"}], ",",
RowBox[{"Text", "[",
RowBox[{"\"\<\!\(\*
StyleBox[\"s\",
FontSlant->\"Italic\"]\)\>\"", ",",
RowBox[{"{",
RowBox[{
RowBox[{"w", "+", "p"}], ",", "0"}], "}"}]}], "]"}]}], "}"}], "//",
"Graphics"}]}], "Input",
CellChangeTimes->{{3.6877728689064007`*^9, 3.687773306097239*^9}, {
3.687773350950871*^9, 3.6877734509833508`*^9}, {3.6877812289855213`*^9,
3.68778124222506*^9}, {3.687781306256679*^9, 3.687781310655752*^9}}],
Cell[BoxData[
FormBox[
GraphicsBox[{
InsetBox["\<\"\\!\\(\\*SubscriptBox[\\n StyleBox[\\\"a\\\",\\nFontSlant->\
\\\"Italic\\\"], \\\"i\\\"]\\), \\!\\(\\*\\nStyleBox[\\\"i\\\",\\nFontSlant->\
\\\"Italic\\\"]\\)=1,...,\\!\\(\\*\\nStyleBox[\\\"m\\\",\\nFontSlant->\\\"\
Italic\\\"]\\)\"\>", {-16, 0}], ArrowBox[{{-12, 0}, {-7, 6}}],
ArrowBox[{{-12, 0}, {-7, 0}}], ArrowBox[{{-12, 0}, {-7, -6}}],
InsetBox["\<\"\\!\\(\\*SubscriptBox[\\n StyleBox[\\\"s\\\",\\nFontSlant->\
\\\"Italic\\\"], \\\"1\\\"]\\) += \\!\\(\\*SubscriptBox[\\n \
StyleBox[\\\"a\\\",\\nFontSlant->\\\"Italic\\\"], \\\"i1\\\"]\\), \
\\!\\(\\*\\nStyleBox[\\\"i\\\",\\nFontSlant->\\\"Italic\\\"]\\)=1,...,\\!\\(\\\
*\\nStyleBox[\\\"m\\\",\\nFontSlant->\\\"Italic\\\"]\\)\"\>", {0, 6}],
InsetBox["\<\"\\!\\(\\*SubscriptBox[\\n StyleBox[\\\"s\\\",\\nFontSlant->\
\\\"Italic\\\"], \\\"2\\\"]\\) += \\!\\(\\*SubscriptBox[\\n \
StyleBox[\\\"a\\\",\\nFontSlant->\\\"Italic\\\"], \\\"i2\\\"]\\), \
\\!\\(\\*\\nStyleBox[\\\"i\\\",\\nFontSlant->\\\"Italic\\\"]\\)=1,...,\\!\\(\\\
*\\nStyleBox[\\\"m\\\",\\nFontSlant->\\\"Italic\\\"]\\)\"\>", {0, 0}],
InsetBox["\<\"\\!\\(\\*SubscriptBox[\\n StyleBox[\\\"s\\\",\\nFontSlant->\
\\\"Italic\\\"], \\\"3\\\"]\\) += \\!\\(\\*SubscriptBox[\\n \
StyleBox[\\\"a\\\",\\nFontSlant->\\\"Italic\\\"], \\\"i3\\\"]\\), \
\\!\\(\\*\\nStyleBox[\\\"i\\\",\\nFontSlant->\\\"Italic\\\"]\\)=1,...,\\!\\(\\\
*\\nStyleBox[\\\"m\\\",\\nFontSlant->\\\"Italic\\\"]\\)\"\>", {0, -6}],
ArrowBox[{{7, 6}, {12, 0}}], ArrowBox[{{7, 0}, {12, 0}}],
ArrowBox[{{7, -6}, {12, 0}}],
InsetBox["\<\"\\!\\(\\*\\nStyleBox[\\\"s\\\",\\nFontSlant->\\\"Italic\\\"]\
\\)\"\>", {14, 0}]}], TraditionalForm]], "Output",
CellChangeTimes->{
3.687773112499703*^9, 3.6877731706179037`*^9, 3.687773269402658*^9, {
3.687773300061677*^9, 3.6877733065563917`*^9}, {3.687773397218965*^9,
3.6877734146941967`*^9}, 3.6877734517735863`*^9, {3.687781229793202*^9,
3.687781243169405*^9}, 3.687781313296061*^9}]
}, Open ]]
},
WindowSize->{808, 755},
WindowMargins->{{12, Automatic}, {Automatic, 24}},
Magnification:>1.25 Inherited,
FrontEndVersion->"11.0 for Mac OS X x86 (32-bit, 64-bit Kernel) (July 28, \
2016)",
StyleDefinitions->"Default.nb"
]
(* End of Notebook Content *)
(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[CellGroupData[{
Cell[580, 22, 457, 13, 131, "Input"],
Cell[1040, 37, 2984, 93, 190, "Print"],
Cell[4027, 132, 20818, 349, 257, "Output"]
}, Open ]],
Cell[CellGroupData[{
Cell[24882, 486, 3930, 125, 584, "Input"],
Cell[28815, 613, 2009, 31, 310, "Output"]
}, Open ]]
}
]
*)