*Heading
Solenoid Tet Surface Current
** Job name: ccsc_solenoid_tet Model name: AirTH
** Generated by: Abaqus/CAE 6.12-DEV
*Preprint, echo=NO, model=NO, history=NO, contact=NO
*parameter
cond_fct= 1.e-12
cond_cu = 58.0e6
conduct = cond_fct*cond_cu
mu = 1.2566370614e-6
mu2 = 2.0*mu
mu3 = 3.0*mu
omu = 1.0/mu
tomu = 2.0*omu
thomu = 3.0*omu
**
** PARTS
**
*Part, name=Solenoid
*Node
1, 3.00163198, 0., 2.
2, 0., 3.00163198, 2.
3, 0., 0., 2.
4, 0., 3.00163198, 0.
5, 0., 0., 0.
6, 3.00163198, 0., 0.
7, 10., 0., 0.
8, 10., 0., 2.
9, 0., 10., 0.
10, 0., 10., 2.
11, 2.85472178, 0.927555323, 2.
12, 2.42837119, 1.76431501, 2.
13, 1.76431501, 2.42837119, 2.
14, 0.927555323, 2.85472178, 2.
15, 0., 2.0010879, 2.
16, 0., 1.00054395, 2.
17, 1.00054395, 0., 2.
18, 2.0010879, 0., 2.
19, 0., 3.00163198, 1.
20, 0., 2.0010879, 0.
21, 0., 1.00054395, 0.
22, 0., 0., 1.
23, 3.00163198, 0., 1.
24, 1.00054395, 0., 0.
25, 2.0010879, 0., 0.
26, 0.927555323, 2.85472178, 0.
27, 1.76431501, 2.42837119, 0.
28, 2.42837119, 1.76431501, 0.
29, 2.85472178, 0.927555323, 0.
30, 4.00139904, 0., 0.
31, 5.00116587, 0., 0.
32, 6.00093269, 0., 0.
33, 7.00069952, 0., 0.
34, 8.00046635, 0., 0.
35, 9.0002327, 0., 0.
36, 10., 0., 1.
37, 9.0002327, 0., 2.
38, 8.00046635, 0., 2.
39, 7.00069952, 0., 2.
40, 6.00093269, 0., 2.
41, 5.00116587, 0., 2.
42, 4.00139904, 0., 2.
43, 0., 4.00139904, 0.
44, 0., 5.00116587, 0.
45, 0., 6.00093269, 0.
46, 0., 7.00069952, 0.
47, 0., 8.00046635, 0.
48, 0., 9.0002327, 0.
49, 0.980171382, 9.95184708, 0.
50, 1.95090318, 9.80785275, 0.
51, 2.90284681, 9.56940365, 0.
52, 3.82683444, 9.23879528, 0.
53, 4.71396732, 8.81921291, 0.
54, 5.55570221, 8.31469631, 0.
55, 6.34393263, 7.73010445, 0.
56, 7.07106781, 7.07106781, 0.
57, 7.73010445, 6.34393263, 0.
58, 8.31469631, 5.55570221, 0.
59, 8.81921291, 4.71396732, 0.
60, 9.23879528, 3.82683444, 0.
61, 9.56940365, 2.90284681, 0.
62, 9.80785275, 1.95090318, 0.
63, 9.95184708, 0.980171382, 0.
64, 0.980171382, 9.95184708, 2.
65, 1.95090318, 9.80785275, 2.
66, 2.90284681, 9.56940365, 2.
67, 3.82683444, 9.23879528, 2.
68, 4.71396732, 8.81921291, 2.
69, 5.55570221, 8.31469631, 2.
70, 6.34393263, 7.73010445, 2.
71, 7.07106781, 7.07106781, 2.
72, 7.73010445, 6.34393263, 2.
73, 8.31469631, 5.55570221, 2.
74, 8.81921291, 4.71396732, 2.
75, 9.23879528, 3.82683444, 2.
76, 9.56940365, 2.90284681, 2.
77, 9.80785275, 1.95090318, 2.
78, 9.95184708, 0.980171382, 2.
79, 0., 10., 1.
80, 0., 9.0002327, 2.
81, 0., 8.00046635, 2.
82, 0., 7.00069952, 2.
83, 0., 6.00093269, 2.
84, 0., 5.00116587, 2.
85, 0., 4.00139904, 2.
86, 1.66963363, 1.58651245, 2.
87, 0.93647027, 1.79636478, 2.
88, 2.04222655, 1.03706682, 2.
89, 1.27499378, 0.903414667, 2.
90, 0., 2.0010879, 1.
91, 0., 1.00054395, 1.
92, 2.0010879, 0., 1.
93, 1.00054395, 0., 1.
94, 0.927555263, 2.85472178, 1.
95, 1.76431501, 2.42837119, 1.
96, 2.42837119, 1.76431501, 1.
97, 2.85472178, 0.927555263, 1.
98, 1.66278052, 1.07934642, 0.
99, 0.844583631, 1.68547261, 0.
100, 0.701581597, 0.753072619, 0.
101, 4.00139904, 0., 1.
102, 5.00116587, 0., 1.
103, 6.00093269, 0., 1.
104, 7.00069952, 0., 1.
105, 8.00046635, 0., 1.
106, 9.0002327, 0., 1.
107, 8.83249855, 2.17672873, 0.
108, 3.24344993, 1.79509115, 0.
109, 7.8328867, 4.64959526, 0.
110, 8.60407925, 3.0643065, 0.
111, 2.67954206, 2.78592396, 0.
112, 7.32235432, 5.39716005, 0.
113, 6.09713411, 6.72555304, 0.
114, 1.62435782, 3.53862834, 0.
115, 3.88452148, 8.19595623, 0.
116, 0.676182091, 3.55604553, 0.
117, 3.04462171, 8.51713753, 0.
118, 1.21329069, 8.99461365, 0.
119, 5.40378523, 7.30103636, 0.
120, 0.76632154, 7.49725008, 0.
121, 0.815089643, 6.50350904, 0.
122, 0.859315932, 5.45383787, 0.
123, 0.833586812, 4.39627266, 0.
124, 9.00759888, 1.22040057, 0.
125, 8.27874947, 3.87619829, 0.
126, 6.73903179, 6.08513117, 0.
127, 4.66737986, 7.79671764, 0.
128, 2.15305734, 8.79128075, 0.
129, 3.6380806, 0.896624744, 0.
130, 5.55834103, 0.916973829, 0.
131, 6.56766796, 0.897412598, 0.
132, 7.53606415, 0.805840194, 0.
133, 7.83057833, 3.19529009, 0.
134, 5.16940069, 6.35730982, 0.
135, 6.41277981, 5.16230822, 0.
136, 3.91142464, 7.28722429, 0.
137, 3.17639446, 7.53757095, 0.
138, 5.80486965, 5.76163673, 0.
139, 7.38988209, 3.79292941, 0.
140, 7.93035603, 2.41440082, 0.
141, 1.46018434, 8.07631111, 0.
142, 2.33067536, 7.78048944, 0.
143, 6.93138123, 4.50921822, 0.
144, 4.54931116, 6.89009476, 0.
145, 4.57464075, 0.894761562, 0.
146, 0.687959313, 8.31377506, 0.
147, 1.59896255, 7.09111071, 0.
148, 7.21475029, 1.73178637, 0.
149, 6.14320803, 1.95178854, 0.
150, 1.68759894, 6.03880644, 0.
151, 1.86678672, 4.85579824, 0.
152, 8.14160728, 1.50919557, 0.
153, 7.01270199, 2.81450248, 0.
154, 6.49481201, 3.67226815, 0.
155, 4.2802043, 6.05820704, 0.
156, 5.53566265, 4.79894924, 0.
157, 4.88072538, 5.43167067, 0.
158, 6.15335226, 4.35224104, 0.
159, 5.09624481, 1.79416966, 0.
160, 8.33719444, 0.707087278, 0.
161, 2.6772182, 3.96006274, 0.
162, 3.71529174, 2.64925456, 0.
163, 3.34269357, 5.98960829, 0.
164, 5.40130758, 3.6162436, 0.
165, 3.93951464, 5.18476343, 0.
166, 4.15638685, 1.77959549, 0.
167, 5.48152828, 2.58802485, 0.
168, 3.37365842, 3.42186713, 0.
169, 4.22377205, 3.50234842, 0.
170, 3.62510729, 4.24570417, 0.
171, 4.67908859, 2.65493941, 0.
172, 2.98508668, 4.98527765, 0.
173, 6.10671139, 2.9285655, 0.
174, 2.4867053, 5.71031666, 0.
175, 2.56955719, 6.70747328, 0.
176, 4.60101509, 4.46327972, 0.
177, 0.980171382, 9.95184708, 1.
178, 1.95090318, 9.80785275, 1.
179, 2.90284681, 9.56940365, 1.
180, 3.82683444, 9.23879528, 1.
181, 4.71396732, 8.81921291, 1.
182, 5.55570221, 8.31469631, 1.
183, 6.34393263, 7.73010445, 1.
184, 7.07106781, 7.07106781, 1.
185, 7.73010445, 6.34393263, 1.
186, 8.31469631, 5.55570221, 1.
187, 8.81921291, 4.71396732, 1.
188, 9.23879528, 3.82683444, 1.
189, 9.56940365, 2.90284681, 1.
190, 9.80785275, 1.95090318, 1.
191, 9.95184708, 0.980171382, 1.
192, 1.79491127, 3.24320483, 2.
193, 4.64772177, 7.83090925, 2.
194, 5.39670086, 7.32144928, 2.
195, 6.72612906, 6.10800314, 2.
196, 7.29288292, 5.42448807, 2.
197, 2.78797507, 2.67841244, 2.
198, 8.51778316, 3.04148483, 2.
199, 8.18460941, 3.88433003, 2.
200, 3.54064488, 1.62131107, 2.
201, 3.55645013, 0.675569415, 2.
202, 8.99502563, 1.21336782, 2.
203, 3.06505346, 8.60253906, 2.
204, 2.17857909, 8.83598328, 2.
205, 7.49738789, 0.765048325, 2.
206, 6.50335455, 0.811023712, 2.
207, 5.45423985, 0.85379988, 2.
208, 4.39729834, 0.829811335, 2.
209, 1.22182274, 9.00871658, 2.
210, 3.87474561, 8.27794456, 2.
211, 6.08533144, 6.74315882, 2.
212, 7.77739811, 4.68401814, 2.
213, 8.79161739, 2.15136075, 2.
214, 0.896592438, 3.63765788, 2.
215, 0.918073893, 5.55608082, 2.
216, 0.900660455, 6.5668273, 2.
217, 0.809377432, 7.53682423, 2.
218, 7.51140356, 3.16090393, 2.
219, 6.35624933, 5.23919201, 2.
220, 5.16330528, 6.41760683, 2.
221, 3.79213691, 7.38519001, 2.
222, 3.19360638, 7.83387423, 2.
223, 5.76845694, 5.83169556, 2.
224, 8.07647514, 1.45726347, 2.
225, 7.22041702, 3.92461419, 2.
226, 7.77382326, 2.31844783, 2.
227, 2.41741395, 7.93161488, 2.
228, 6.83515787, 4.61449528, 2.
229, 4.50883484, 6.93068409, 2.
230, 8.31391811, 0.687135935, 2.
231, 0.894945323, 4.5734992, 2.
232, 7.08746195, 1.58585215, 2.
233, 1.95338809, 6.13854027, 2.
234, 1.73562729, 7.21575499, 2.
235, 6.03636503, 1.66524518, 2.
236, 4.86175251, 1.8473537, 2.
237, 1.51187909, 8.14307117, 2.
238, 2.81542969, 7.01138306, 2.
239, 3.67330861, 6.49361372, 2.
240, 6.7274003, 3.32555509, 2.
241, 6.34600973, 3.90677142, 2.
242, 6.06552219, 4.5218215, 2.
243, 4.81428051, 5.55349064, 2.
244, 5.47195339, 4.94334745, 2.
245, 4.35655022, 6.15776396, 2.
246, 1.79527378, 5.09403801, 2.
247, 0.708615839, 8.33786201, 2.
248, 3.97506499, 2.66615534, 2.
249, 2.65287089, 3.71507835, 2.
250, 3.62638807, 5.40500927, 2.
251, 5.36430168, 3.94512033, 2.
252, 5.96048403, 3.16707063, 2.
253, 1.78082681, 4.15556574, 2.
254, 2.59139514, 5.48017645, 2.
255, 3.43652129, 3.37110853, 2.
256, 3.52188063, 4.22553492, 2.
257, 4.29653978, 3.61970091, 2.
258, 2.66143918, 4.67923355, 2.
259, 5.02231646, 2.94154763, 2.
260, 2.93198204, 6.10574436, 2.
261, 5.70968103, 2.42598796, 2.
262, 6.68665981, 2.52129459, 2.
263, 4.5158906, 4.61536741, 2.
264, 0., 4.00139904, 1.
265, 0., 5.00116587, 1.
266, 0., 6.00093269, 1.
267, 0., 7.00069952, 1.
268, 0., 8.00046635, 1.
269, 0., 9.0002327, 1.
270, 2.25912905, 0.650969505, 0.54606837
271, 1.82774723, 1.0453583, 1.06640899
272, 1.17810595, 0.617979467, 0.628340721
273, 2.24366236, 0.549569368, 1.49338758
274, 0.672284245, 2.29469872, 0.582680285
275, 1.22660053, 1.66349804, 0.705854118
276, 0.624938071, 2.21256995, 1.35292315
277, 0.906289935, 0.614880443, 1.45675492
278, 1.58568704, 1.6586417, 1.46529317
279, 0.662045658, 1.28884315, 1.30709183
280, 4.32145786, 2.28120756, 0.638575017
281, 4.21768141, 2.05358076, 1.34229314
282, 4.27161741, 3.27053857, 1.32134664
283, 3.64083123, 2.15738845, 1.0038507
284, 5.28737402, 1.98177731, 0.630093873
285, 4.84032297, 2.92230749, 0.73920393
286, 3.53270793, 0.507615626, 1.45289814
287, 4.20020819, 1.453439, 0.637010396
288, 4.67658281, 3.95477986, 1.02257454
289, 5.63969564, 4.08721352, 1.30195951
290, 4.81356573, 4.73135138, 0.655414402
291, 5.19000769, 4.78793764, 1.3525486
292, 4.18454218, 4.44335318, 1.34375012
293, 3.57555461, 3.91117454, 0.722439945
294, 8.18996334, 3.76747489, 0.628363967
295, 7.6184454, 4.44106197, 0.704492688
296, 2.90275717, 5.20907068, 0.653943539
297, 2.23598862, 4.73997736, 0.867520452
298, 2.22749567, 4.05124235, 1.05371439
299, 3.03408885, 4.58039093, 1.28039849
300, 1.41908562, 4.22478104, 1.38309681
301, 2.85617638, 5.30333519, 1.36092007
302, 2.20136499, 5.5222168, 0.691084027
303, 2.03207874, 5.16075563, 1.37572241
304, 1.06423891, 4.96042919, 1.30331135
305, 5.90944004, 5.6943059, 0.70489049
306, 5.14178896, 6.50357866, 0.664922953
307, 5.83339167, 6.7536912, 0.779714942
308, 6.07069969, 4.81428194, 1.42702091
309, 5.56062365, 5.62619209, 1.35941887
310, 5.72226715, 4.70135069, 0.704355836
311, 6.29257727, 4.94060564, 0.692294538
312, 5.1345048, 5.60913086, 0.670108914
313, 6.70035172, 5.87236452, 0.68055433
314, 0.882264316, 5.77286005, 1.35351145
315, 1.16478932, 4.32659388, 0.673030376
316, 3.38438368, 5.41736746, 1.04505026
317, 3.59036112, 6.17568493, 1.11843169
318, 4.51055861, 5.44971704, 1.35156298
319, 4.11462975, 5.57907677, 0.682474315
320, 2.68051338, 6.33214331, 0.689304054
321, 3.83050132, 4.79157734, 0.613274813
322, 1.98825419, 7.52333832, 0.690155387
323, 2.65253568, 7.26982927, 1.32793057
324, 2.67798853, 7.81324339, 0.67846334
325, 2.59486103, 8.09457397, 1.32657373
326, 1.76075613, 8.03041077, 1.35013008
327, 1.45686972, 7.22063017, 0.647875845
328, 1.06629694, 7.33333063, 1.31659448
329, 1.74536228, 6.61623716, 0.998157978
330, 6.31746244, 2.31077838, 0.664624631
331, 5.64042187, 2.78012371, 0.663500905
332, 6.32053995, 3.06532884, 0.68900317
333, 6.95387697, 1.90017629, 0.670247674
334, 7.27152824, 2.91411662, 1.10023177
335, 5.71231318, 3.06766558, 1.3490001
336, 6.37621021, 2.51929402, 1.41694033
337, 6.31127119, 1.31953037, 1.03116143
338, 3.25056744, 3.00351834, 1.21613598
339, 3.13020062, 1.91840661, 1.57308328
340, 3.54570436, 1.24214494, 1.02985144
341, 0.930892825, 8.27933121, 1.39289236
342, 0.660603404, 9.30728531, 1.29687428
343, 0.473684788, 8.49104977, 0.673238754
344, 0.476483315, 9.31056118, 0.480483621
345, 8.5588274, 0.498980552, 1.33661628
346, 8.94603443, 1.50326407, 0.68080014
347, 8.15618801, 1.20308137, 1.30099547
348, 9.36470795, 0.588282943, 1.37046611
349, 9.31467819, 0.717113853, 0.719365835
350, 8.33707809, 0.992595613, 0.564243376
351, 5.24940681, 1.03996038, 1.3352493
352, 4.78093767, 0.860581636, 0.64290899
353, 4.28336668, 1.34149051, 1.31371486
354, 3.59427643, 8.3078146, 0.546401262
355, 3.34232378, 7.188972, 0.667839944
356, 7.8997941, 2.89828825, 0.574969411
357, 8.75970745, 2.4663372, 0.646262467
358, 8.70641899, 3.28682375, 1.37400568
359, 8.2056675, 3.59988809, 1.31351352
360, 7.16524601, 3.61326766, 0.693527222
361, 7.41236067, 4.12674093, 1.33860528
362, 7.37025213, 1.04450154, 0.724219918
363, 7.21858931, 1.34416866, 1.37532461
364, 7.97364187, 1.7942214, 0.693980753
365, 7.51943636, 1.99617088, 1.34400344
366, 7.82376385, 2.64634132, 1.27690578
367, 8.57192421, 1.93947935, 1.30619979
368, 5.47918701, 2.21202826, 1.34816396
369, 5.12466621, 7.42954969, 1.3225565
370, 3.52790141, 6.86299992, 1.34173071
371, 2.64468408, 6.20290375, 1.35547507
372, 5.74012899, 3.72044253, 0.717308462
373, 6.18399906, 3.54608679, 1.37207627
374, 5.21427011, 3.30658889, 1.04223275
375, 6.44373608, 3.75276065, 0.686492205
376, 2.39865994, 3.37398314, 0.693476498
377, 3.47054601, 3.6757977, 1.35915542
378, 3.34650826, 0.491812557, 0.478355885
379, 0.48842302, 3.60783267, 1.57715368
380, 1.25184858, 3.56098342, 1.06767547
381, 7.49450159, 5.27390051, 0.670913398
382, 6.99254608, 4.86733532, 1.35390031
383, 6.5823102, 5.73764324, 1.40592599
384, 1.20047975, 8.15457249, 0.716304421
385, 1.63649297, 9.00859261, 1.41850615
386, 6.5373826, 4.10372686, 1.34614825
387, 6.98580122, 3.33153057, 1.35429692
388, 0.92280823, 5.16243696, 0.602469563
389, 3.5681572, 2.82346296, 0.689136803
390, 4.21971941, 7.12451696, 1.01206446
391, 4.28583241, 6.66988564, 0.67980057
392, 6.73250628, 4.30454254, 0.679481328
393, 3.4754374, 7.96557808, 1.33342755
394, 2.79538012, 8.61925793, 0.533352435
395, 0.70477128, 6.36308813, 0.617652476
396, 4.69951439, 7.93165636, 0.601489007
397, 4.42724991, 6.36508703, 1.40130448
398, 1.94115794, 8.62001133, 0.666715562
399, 4.37678766, 7.94615459, 1.40914392
400, 6.62711859, 6.33503437, 1.36247075
401, 5.39164972, 6.55852318, 1.37006319
*Element, type=EMC3D4
1, 270, 271, 97, 96
2, 271, 92, 272, 270
3, 270, 271, 92, 273
4, 270, 273, 23, 97
5, 270, 29, 6, 25
6, 270, 29, 23, 6
7, 274, 275, 27, 95
8, 27, 274, 99, 275
9, 95, 274, 276, 94
10, 272, 22, 24, 93
11, 274, 94, 26, 4
12, 274, 276, 94, 19
13, 274, 94, 4, 19
14, 271, 277, 273, 89
15, 96, 12, 278, 88
16, 272, 100, 99, 98
17, 271, 277, 279, 272
18, 270, 98, 28, 29
19, 279, 87, 15, 16
20, 88, 278, 96, 271
21, 271, 273, 97, 88
22, 270, 28, 96, 97
23, 271, 96, 275, 278
24, 271, 88, 278, 89
25, 277, 271, 279, 89
26, 96, 98, 28, 270
27, 277, 18, 273, 89
28, 271, 98, 272, 275
29, 272, 271, 275, 279
30, 277, 89, 279, 16
31, 277, 22, 272, 93
32, 277, 279, 272, 91
33, 279, 276, 278, 275
34, 279, 272, 91, 275
35, 279, 91, 16, 15
36, 276, 13, 278, 95
37, 276, 87, 278, 13
38, 279, 276, 275, 90
39, 279, 87, 276, 15
40, 274, 276, 19, 90
41, 276, 2, 90, 15
42, 276, 90, 2, 19
43, 100, 22, 24, 272
44, 272, 275, 98, 99
45, 91, 100, 99, 272
46, 275, 95, 274, 276
47, 279, 271, 275, 278
48, 272, 100, 22, 91
49, 272, 270, 98, 271
50, 98, 271, 96, 275
51, 277, 3, 93, 17
52, 272, 24, 98, 25
53, 275, 95, 278, 96
54, 26, 27, 274, 99
55, 274, 95, 26, 94
56, 279, 15, 276, 90
57, 279, 278, 276, 87
58, 278, 13, 12, 95
59, 274, 275, 90, 99
60, 278, 12, 96, 95
61, 5, 100, 22, 24
62, 272, 100, 98, 24
63, 271, 279, 89, 278
64, 275, 90, 99, 91
65, 277, 92, 18, 17
66, 93, 277, 92, 272
67, 277, 92, 272, 271
68, 272, 275, 99, 91
69, 271, 277, 92, 273
70, 277, 92, 273, 18
71, 270, 23, 273, 92
72, 273, 97, 1, 23
73, 273, 97, 88, 11
74, 273, 97, 11, 1
75, 270, 97, 23, 29
76, 275, 98, 28, 96
77, 270, 29, 28, 97
78, 276, 95, 94, 13
79, 271, 89, 273, 88
80, 278, 86, 12, 13
81, 274, 4, 26, 20
82, 274, 99, 20, 26
83, 278, 86, 87, 89
84, 275, 96, 28, 27
85, 277, 91, 272, 22
86, 100, 5, 91, 21
87, 277, 93, 3, 22
88, 272, 24, 25, 93
89, 270, 271, 96, 98
90, 273, 92, 23, 18
91, 273, 18, 88, 89
92, 270, 92, 25, 6
93, 277, 22, 16, 91
94, 99, 91, 90, 21
95, 279, 91, 15, 90
96, 279, 275, 91, 90
97, 277, 16, 17, 89
98, 99, 90, 20, 21
99, 274, 20, 19, 4
100, 276, 19, 2, 14
101, 276, 14, 94, 19
102, 279, 87, 16, 89
103, 273, 18, 1, 11
104, 270, 29, 25, 98
105, 275, 28, 98, 27
106, 277, 17, 16, 3
107, 279, 278, 87, 89
108, 275, 99, 27, 98
109, 276, 94, 14, 13
110, 271, 88, 97, 96
111, 276, 15, 14, 2
112, 272, 93, 25, 92
113, 97, 11, 96, 88
114, 277, 89, 17, 18
115, 25, 270, 98, 272
116, 276, 14, 15, 87
117, 12, 278, 88, 86
118, 277, 93, 92, 17
119, 21, 91, 100, 99
120, 274, 99, 90, 20
121, 274, 95, 27, 26
122, 277, 22, 3, 16
123, 274, 275, 276, 90
124, 275, 96, 27, 95
125, 270, 92, 6, 23
126, 100, 5, 22, 91
127, 270, 92, 272, 25
128, 276, 13, 14, 87
129, 278, 86, 13, 87
130, 95, 276, 275, 278
131, 273, 11, 88, 18
132, 270, 271, 273, 97
133, 278, 89, 88, 86
134, 273, 23, 1, 18
135, 96, 88, 11, 12
136, 277, 279, 91, 16
137, 274, 90, 19, 20
138, 280, 281, 282, 283
139, 284, 281, 285, 280
140, 101, 208, 286, 42
141, 280, 284, 287, 159
142, 280, 284, 159, 171
143, 280, 162, 285, 171
144, 288, 289, 290, 291
145, 292, 282, 293, 288
146, 187, 294, 212, 295
147, 288, 282, 293, 285
148, 172, 296, 174, 151
149, 296, 151, 172, 161
150, 297, 298, 161, 299
151, 297, 298, 253, 300
152, 297, 301, 302, 303
153, 297, 302, 304, 303
154, 305, 138, 306, 307
155, 305, 308, 309, 310
156, 305, 311, 156, 135
157, 305, 156, 310, 312
158, 305, 135, 313, 311
159, 304, 302, 314, 303
160, 304, 84, 314, 265
161, 84, 304, 264, 265
162, 304, 315, 264, 265
163, 316, 317, 318, 319
164, 316, 163, 320, 317
165, 296, 165, 172, 163
166, 321, 165, 172, 296
167, 316, 301, 296, 299
168, 322, 323, 324, 325
169, 322, 326, 323, 325
170, 322, 323, 326, 234
171, 327, 234, 328, 329
172, 323, 175, 329, 322
173, 320, 323, 175, 329
174, 330, 331, 173, 167
175, 330, 332, 153, 173
176, 330, 333, 153, 334
177, 330, 332, 335, 336
178, 330, 333, 336, 337
179, 330, 336, 333, 334
180, 281, 283, 200, 248
181, 314, 150, 329, 302
182, 96, 338, 197, 339
183, 281, 200, 236, 248
184, 339, 248, 338, 197
185, 339, 340, 96, 283
186, 339, 11, 12, 96
187, 341, 269, 247, 342
188, 343, 344, 118, 146
189, 343, 48, 344, 146
190, 268, 269, 247, 341
191, 343, 269, 48, 47
192, 343, 268, 269, 47
193, 345, 202, 346, 347
194, 230, 202, 37, 345
195, 321, 293, 292, 299
196, 286, 42, 201, 1
197, 345, 346, 348, 349
198, 350, 106, 160, 349
199, 105, 106, 160, 350
200, 351, 130, 102, 352
201, 103, 351, 130, 102
202, 352, 130, 31, 145
203, 352, 130, 102, 31
204, 108, 96, 28, 97
205, 337, 130, 351, 284
206, 352, 287, 101, 353
207, 324, 354, 355, 137
208, 294, 356, 357, 358
209, 294, 358, 188, 359
210, 294, 188, 110, 60
211, 294, 360, 361, 295
212, 294, 360, 359, 361
213, 294, 139, 360, 295
214, 294, 133, 360, 139
215, 294, 356, 133, 110
216, 355, 163, 175, 136
217, 362, 363, 364, 333
218, 365, 226, 366, 262
219, 365, 367, 364, 366
220, 365, 363, 224, 232
221, 365, 367, 224, 347
222, 368, 284, 281, 285
223, 369, 183, 119, 182
224, 351, 236, 368, 353
225, 281, 340, 287, 353
226, 280, 284, 281, 287
227, 320, 370, 371, 317
228, 320, 317, 355, 370
229, 320, 317, 163, 355
230, 320, 329, 371, 323
231, 289, 335, 372, 373
232, 374, 289, 335, 372
233, 373, 375, 372, 289
234, 293, 298, 376, 377
235, 286, 378, 97, 340
236, 376, 197, 96, 338
237, 379, 19, 14, 2
238, 379, 380, 14, 94
239, 379, 19, 2, 85
240, 379, 300, 214, 380
241, 379, 264, 300, 380
242, 85, 231, 214, 379
243, 381, 212, 186, 196
244, 381, 112, 313, 185
245, 381, 109, 295, 143
246, 381, 382, 383, 311
247, 343, 384, 118, 385
248, 381, 313, 135, 311
249, 381, 311, 135, 143
250, 373, 375, 289, 386
251, 375, 310, 289, 386
252, 375, 360, 386, 387
253, 373, 387, 241, 240
254, 375, 310, 158, 372
255, 375, 372, 158, 154
256, 375, 154, 360, 332
257, 315, 380, 116, 114
258, 297, 315, 298, 300
259, 315, 116, 380, 264
260, 297, 304, 300, 303
261, 304, 264, 300, 231
262, 297, 315, 304, 388
263, 360, 334, 359, 387
264, 371, 301, 260, 254
265, 371, 329, 302, 303
266, 316, 371, 296, 301
267, 317, 316, 250, 260
268, 301, 371, 260, 316
269, 320, 323, 371, 370
270, 376, 293, 161, 298
271, 131, 103, 32, 33
272, 114, 380, 94, 95
273, 376, 377, 338, 293
274, 376, 298, 380, 192
275, 298, 161, 376, 114
276, 382, 361, 212, 228
277, 382, 196, 383, 219
278, 212, 382, 381, 295
279, 367, 189, 357, 358
280, 367, 357, 189, 190
281, 366, 213, 226, 367
282, 367, 347, 202, 224
283, 367, 357, 364, 366
284, 280, 281, 283, 287
285, 280, 389, 285, 162
286, 280, 159, 287, 166
287, 171, 167, 285, 284
288, 353, 236, 368, 281
289, 330, 284, 167, 149
290, 284, 337, 130, 149
291, 352, 284, 130, 159
292, 317, 370, 390, 355
293, 391, 355, 163, 317
294, 392, 139, 154, 143
295, 371, 301, 302, 296
296, 316, 371, 260, 317
297, 319, 391, 163, 317
298, 155, 319, 391, 163
299, 316, 321, 318, 292
300, 192, 376, 95, 380
301, 297, 301, 258, 299
302, 297, 253, 298, 258
303, 130, 351, 284, 352
304, 351, 236, 353, 208
305, 351, 368, 236, 235
306, 351, 235, 337, 368
307, 289, 386, 242, 241
308, 343, 47, 48, 146
309, 289, 291, 310, 290
310, 289, 335, 251, 374
311, 289, 291, 251, 244
312, 244, 289, 308, 242
313, 289, 310, 308, 386
314, 353, 352, 284, 351
315, 281, 284, 353, 287
316, 281, 353, 284, 368
317, 352, 287, 284, 159
318, 280, 282, 389, 283
319, 280, 285, 284, 171
320, 287, 353, 340, 101
321, 287, 129, 340, 108
322, 287, 108, 340, 283
323, 378, 129, 29, 97
324, 378, 29, 129, 6
325, 378, 6, 129, 30
326, 286, 378, 101, 23
327, 378, 129, 101, 30
328, 291, 309, 308, 310
329, 288, 291, 290, 292
330, 291, 290, 318, 312
331, 291, 318, 243, 309
332, 291, 318, 290, 292
333, 291, 243, 318, 263
334, 371, 323, 329, 233
335, 323, 222, 370, 393
336, 325, 394, 203, 393
337, 323, 234, 329, 233
338, 371, 260, 370, 238
339, 313, 113, 126, 138
340, 322, 323, 175, 324
341, 395, 267, 46, 45
342, 395, 120, 121, 46
343, 395, 388, 122, 150
344, 395, 314, 266, 388
345, 395, 122, 266, 45
346, 373, 240, 336, 387
347, 373, 336, 240, 252
348, 373, 375, 387, 332
349, 335, 251, 374, 259
350, 335, 331, 374, 372
351, 335, 368, 261, 259
352, 335, 261, 336, 252
353, 333, 362, 337, 131
354, 333, 337, 149, 131
355, 333, 356, 140, 153
356, 330, 284, 331, 167
357, 363, 364, 333, 365
358, 365, 336, 333, 363
359, 330, 334, 332, 336
360, 280, 389, 282, 285
361, 283, 338, 248, 282
362, 384, 268, 343, 120
363, 288, 289, 372, 290
364, 281, 285, 259, 368
365, 283, 200, 248, 339
366, 255, 282, 338, 377
367, 282, 257, 377, 255
368, 288, 374, 282, 285
369, 106, 345, 350, 105
370, 288, 251, 282, 374
371, 282, 374, 251, 259
372, 306, 144, 396, 119
373, 306, 397, 319, 312
374, 132, 104, 33, 34
375, 305, 309, 306, 312
376, 306, 144, 155, 391
377, 306, 319, 155, 312
378, 305, 312, 306, 138
379, 306, 134, 307, 138
380, 306, 312, 155, 134
381, 338, 168, 389, 111
382, 96, 389, 162, 111
383, 162, 96, 108, 283
384, 377, 338, 293, 282
385, 303, 246, 258, 254
386, 338, 293, 282, 389
387, 327, 395, 121, 329
388, 395, 328, 216, 329
389, 314, 303, 329, 233
390, 304, 215, 314, 84
391, 314, 83, 265, 84
392, 304, 314, 388, 265
393, 304, 315, 300, 264
394, 314, 329, 216, 233
395, 314, 303, 246, 304
396, 314, 216, 266, 83
397, 362, 152, 364, 350
398, 210, 180, 67, 181
399, 337, 206, 104, 362
400, 286, 1, 101, 42
401, 104, 132, 131, 362
402, 362, 206, 104, 205
403, 362, 350, 105, 132
404, 322, 327, 384, 141
405, 327, 384, 141, 120
406, 329, 322, 327, 234
407, 120, 328, 395, 327
408, 395, 122, 388, 266
409, 395, 150, 329, 314
410, 298, 300, 380, 192
411, 304, 315, 265, 388
412, 300, 214, 380, 192
413, 379, 231, 214, 300
414, 388, 297, 302, 304
415, 300, 303, 246, 253
416, 297, 298, 299, 258
417, 297, 299, 161, 296
418, 204, 398, 326, 385
419, 325, 398, 394, 324
420, 325, 322, 398, 324
421, 325, 394, 204, 203
422, 325, 393, 203, 222
423, 204, 179, 385, 65
424, 323, 325, 222, 393
425, 371, 301, 254, 303
426, 316, 250, 301, 299
427, 301, 299, 250, 258
428, 316, 299, 321, 292
429, 320, 150, 302, 329
430, 206, 104, 40, 103
431, 371, 233, 303, 254
432, 188, 357, 61, 189
433, 357, 188, 358, 189
434, 335, 259, 252, 251
435, 367, 357, 346, 364
436, 357, 140, 356, 110
437, 367, 357, 366, 358
438, 357, 356, 366, 358
439, 357, 140, 364, 356
440, 317, 370, 260, 239
441, 371, 323, 233, 238
442, 317, 391, 390, 397
443, 370, 390, 229, 397
444, 323, 325, 227, 222
445, 323, 238, 370, 222
446, 370, 221, 393, 222
447, 370, 390, 393, 221
448, 370, 390, 221, 229
449, 129, 340, 101, 287
450, 352, 101, 287, 145
451, 136, 144, 396, 390
452, 390, 399, 393, 221
453, 370, 239, 397, 229
454, 371, 323, 238, 370
455, 338, 377, 249, 255
456, 377, 299, 249, 256
457, 282, 292, 377, 257
458, 377, 292, 293, 299
459, 380, 376, 95, 114
460, 394, 51, 179, 52
461, 394, 324, 398, 142
462, 394, 324, 142, 117
463, 323, 238, 222, 227
464, 179, 398, 128, 394
465, 338, 376, 197, 249
466, 394, 128, 179, 51
467, 293, 338, 376, 168
468, 338, 96, 111, 389
469, 339, 283, 338, 248
470, 249, 377, 338, 376
471, 96, 283, 389, 338
472, 290, 165, 319, 157
473, 291, 292, 263, 318
474, 291, 244, 289, 308
475, 288, 289, 291, 251
476, 291, 312, 318, 309
477, 288, 290, 321, 292
478, 264, 19, 4, 116
479, 290, 312, 156, 157
480, 400, 71, 195, 72
481, 400, 383, 195, 223
482, 268, 267, 217, 81
483, 305, 400, 313, 307
484, 208, 101, 102, 42
485, 313, 184, 126, 113
486, 365, 262, 366, 334
487, 183, 184, 211, 307
488, 400, 71, 211, 195
489, 307, 313, 184, 400
490, 366, 358, 359, 198
491, 77, 213, 190, 202
492, 365, 224, 367, 226
493, 365, 347, 363, 364
494, 198, 213, 226, 366
495, 366, 334, 262, 218
496, 366, 358, 356, 359
497, 213, 190, 202, 367
498, 285, 164, 331, 167
499, 373, 386, 289, 241
500, 288, 285, 293, 169
501, 281, 248, 282, 283
502, 389, 168, 293, 169
503, 389, 285, 162, 169
504, 280, 287, 283, 166
505, 288, 290, 176, 321
506, 280, 283, 162, 166
507, 288, 164, 285, 169
508, 324, 354, 137, 117
509, 324, 137, 355, 175
510, 323, 325, 393, 324
511, 322, 398, 384, 326
512, 322, 324, 142, 398
513, 322, 327, 147, 329
514, 321, 172, 293, 296
515, 165, 316, 296, 321
516, 328, 384, 120, 268
517, 326, 234, 328, 327
518, 328, 329, 234, 216
519, 267, 217, 216, 328
520, 82, 267, 217, 216
521, 346, 152, 107, 124
522, 328, 217, 341, 268
523, 339, 340, 283, 200
524, 378, 129, 340, 101
525, 353, 208, 101, 102
526, 287, 283, 166, 108
527, 340, 283, 108, 96
528, 129, 340, 97, 378
529, 97, 129, 29, 108
530, 286, 97, 378, 23
531, 367, 346, 357, 190
532, 345, 346, 349, 350
533, 346, 349, 63, 191
534, 346, 190, 63, 62
535, 346, 364, 107, 152
536, 107, 62, 357, 346
537, 268, 267, 46, 120
538, 346, 364, 152, 350
539, 334, 365, 364, 366
540, 362, 350, 364, 347
541, 363, 337, 206, 232
542, 363, 205, 347, 224
543, 365, 363, 347, 224
544, 69, 399, 369, 193
545, 399, 68, 193, 69
546, 399, 393, 221, 210
547, 181, 396, 399, 393
548, 390, 393, 354, 355
549, 399, 396, 182, 369
550, 181, 393, 180, 354
551, 399, 210, 193, 68
552, 323, 227, 326, 234
553, 205, 39, 104, 105
554, 322, 141, 398, 142
555, 398, 384, 118, 141
556, 325, 204, 326, 227
557, 128, 178, 118, 398
558, 207, 41, 103, 40
559, 325, 204, 398, 326
560, 398, 178, 385, 179
561, 305, 308, 383, 309
562, 308, 392, 386, 310
563, 202, 37, 345, 348
564, 348, 36, 349, 191
565, 348, 202, 78, 191
566, 348, 8, 78, 37
567, 348, 78, 8, 36
568, 287, 353, 352, 284
569, 27, 96, 28, 111
570, 351, 207, 337, 235
571, 337, 336, 368, 235
572, 330, 284, 337, 368
573, 284, 351, 337, 368
574, 346, 124, 350, 152
575, 62, 357, 346, 190
576, 362, 363, 347, 364
577, 362, 350, 132, 152
578, 326, 385, 237, 204
579, 322, 398, 141, 384
580, 328, 341, 217, 237
581, 326, 341, 385, 384
582, 346, 347, 364, 350
583, 357, 346, 364, 107
584, 358, 199, 188, 359
585, 357, 364, 366, 356
586, 294, 110, 357, 356
587, 213, 189, 367, 358
588, 358, 198, 76, 75
589, 358, 213, 76, 198
590, 325, 394, 398, 204
591, 328, 341, 384, 268
592, 328, 234, 326, 237
593, 81, 268, 247, 217
594, 268, 247, 217, 341
595, 341, 385, 209, 237
596, 341, 209, 342, 247
597, 343, 344, 269, 342
598, 343, 385, 341, 384
599, 343, 341, 268, 384
600, 320, 329, 175, 150
601, 320, 296, 174, 163
602, 314, 302, 329, 303
603, 302, 151, 388, 150
604, 102, 352, 31, 101
605, 296, 174, 151, 302
606, 377, 257, 292, 256
607, 282, 259, 251, 257
608, 288, 374, 289, 251
609, 290, 321, 165, 176
610, 288, 292, 257, 263
611, 288, 293, 321, 176
612, 288, 290, 372, 164
613, 288, 285, 164, 374
614, 288, 263, 291, 292
615, 187, 359, 212, 294
616, 294, 109, 139, 295
617, 364, 334, 356, 333
618, 365, 334, 336, 262
619, 334, 336, 262, 387
620, 182, 54, 55, 119
621, 366, 334, 359, 356
622, 297, 298, 315, 151
623, 320, 302, 150, 174
624, 297, 300, 253, 303
625, 338, 389, 282, 283
626, 298, 299, 377, 293
627, 299, 293, 161, 296
628, 333, 334, 356, 153
629, 330, 368, 335, 331
630, 336, 232, 262, 235
631, 336, 368, 235, 261
632, 330, 153, 333, 149
633, 330, 335, 368, 336
634, 381, 313, 311, 383
635, 381, 135, 313, 112
636, 305, 138, 313, 135
637, 313, 185, 112, 57
638, 206, 40, 104, 39
639, 57, 313, 184, 126
640, 305, 313, 400, 383
641, 307, 138, 313, 305
642, 400, 313, 185, 383
643, 195, 72, 196, 383
644, 113, 307, 313, 184
645, 333, 140, 364, 148
646, 207, 41, 351, 103
647, 345, 348, 346, 202
648, 365, 364, 367, 347
649, 345, 347, 350, 105
650, 345, 230, 38, 37
651, 333, 362, 363, 337
652, 333, 364, 362, 148
653, 362, 104, 337, 131
654, 344, 79, 9, 48
655, 344, 342, 385, 177
656, 344, 79, 342, 177
657, 343, 341, 385, 342
658, 343, 269, 344, 48
659, 344, 177, 118, 49
660, 288, 374, 164, 372
661, 285, 374, 331, 164
662, 320, 302, 371, 329
663, 302, 388, 314, 150
664, 297, 258, 303, 253
665, 320, 296, 371, 302
666, 371, 301, 303, 302
667, 297, 388, 302, 151
668, 388, 304, 302, 314
669, 301, 254, 303, 258
670, 304, 314, 215, 246
671, 267, 120, 328, 395
672, 346, 190, 202, 191
673, 327, 328, 384, 120
674, 394, 393, 180, 203
675, 233, 303, 246, 314
676, 395, 327, 328, 329
677, 321, 293, 170, 176
678, 290, 321, 292, 318
679, 316, 321, 299, 296
680, 382, 361, 295, 212
681, 395, 216, 328, 267
682, 360, 334, 356, 359
683, 395, 266, 267, 45
684, 360, 361, 387, 359
685, 389, 169, 162, 168
686, 306, 397, 312, 309
687, 187, 199, 212, 359
688, 359, 225, 361, 218
689, 360, 361, 386, 387
690, 360, 153, 334, 332
691, 361, 359, 218, 387
692, 218, 199, 359, 225
693, 290, 319, 318, 312
694, 292, 250, 299, 256
695, 316, 321, 165, 319
696, 290, 321, 318, 319
697, 280, 282, 281, 285
698, 248, 255, 282, 338
699, 288, 293, 176, 169
700, 400, 383, 223, 309
701, 72, 400, 383, 195
702, 307, 369, 194, 183
703, 397, 391, 390, 306
704, 351, 41, 208, 102
705, 305, 383, 400, 309
706, 305, 400, 401, 309
707, 305, 400, 307, 401
708, 382, 219, 308, 228
709, 184, 400, 313, 185
710, 381, 382, 196, 383
711, 400, 401, 223, 211
712, 305, 313, 383, 311
713, 291, 244, 308, 309
714, 383, 223, 309, 219
715, 375, 386, 392, 310
716, 288, 257, 282, 251
717, 373, 335, 252, 251
718, 373, 387, 375, 386
719, 373, 335, 332, 336
720, 382, 386, 361, 228
721, 360, 361, 295, 392
722, 386, 241, 387, 225
723, 317, 370, 397, 390
724, 291, 309, 310, 312
725, 292, 318, 250, 263
726, 290, 319, 312, 157
727, 373, 251, 289, 335
728, 318, 312, 397, 309
729, 245, 220, 243, 318
730, 250, 317, 397, 318
731, 360, 133, 153, 139
732, 288, 292, 282, 257
733, 316, 292, 250, 299
734, 310, 372, 156, 158
735, 305, 401, 306, 309
736, 305, 312, 138, 156
737, 375, 372, 289, 310
738, 288, 290, 164, 176
739, 113, 183, 119, 307
740, 289, 386, 308, 242
741, 288, 372, 289, 374
742, 305, 312, 310, 309
743, 294, 358, 359, 356
744, 361, 387, 218, 225
745, 382, 361, 392, 295
746, 294, 295, 187, 109
747, 206, 363, 362, 337
748, 359, 198, 358, 199
749, 212, 225, 361, 359
750, 294, 359, 360, 356
751, 294, 212, 295, 361
752, 359, 212, 294, 361
753, 375, 332, 372, 154
754, 375, 360, 387, 332
755, 382, 383, 308, 219
756, 372, 331, 173, 332
757, 395, 314, 329, 216
758, 315, 388, 123, 265
759, 298, 315, 114, 380
760, 298, 114, 315, 151
761, 151, 297, 296, 302
762, 322, 324, 175, 142
763, 328, 237, 326, 341
764, 398, 384, 385, 118
765, 343, 344, 385, 118
766, 294, 187, 60, 59
767, 334, 387, 262, 218
768, 389, 285, 169, 293
769, 364, 152, 140, 107
770, 281, 340, 200, 283
771, 281, 282, 248, 259
772, 335, 374, 368, 259
773, 333, 362, 131, 148
774, 351, 208, 41, 207
775, 368, 353, 284, 351
776, 352, 351, 353, 102
777, 367, 346, 347, 364
778, 367, 358, 366, 213
779, 347, 205, 230, 224
780, 347, 205, 105, 345
781, 130, 32, 102, 31
782, 105, 160, 132, 350
783, 349, 345, 350, 106
784, 321, 170, 293, 172
785, 373, 251, 252, 241
786, 97, 11, 286, 340
787, 281, 368, 259, 236
788, 208, 236, 353, 200
789, 339, 11, 340, 200
790, 281, 353, 200, 340
791, 339, 12, 200, 197
792, 97, 340, 96, 11
793, 298, 377, 299, 249
794, 340, 96, 11, 339
795, 283, 389, 162, 96
796, 306, 309, 401, 397
797, 291, 309, 243, 244
798, 306, 391, 319, 397
799, 316, 317, 319, 163
800, 288, 251, 291, 263
801, 368, 261, 236, 235
802, 164, 372, 156, 290
803, 373, 252, 335, 336
804, 330, 331, 332, 173
805, 372, 173, 331, 164
806, 335, 368, 336, 261
807, 345, 349, 348, 106
808, 346, 63, 349, 124
809, 350, 349, 160, 124
810, 114, 298, 380, 376
811, 349, 35, 160, 124
812, 349, 191, 7, 63
813, 349, 191, 36, 7
814, 348, 106, 349, 36
815, 370, 393, 390, 355
816, 323, 325, 326, 227
817, 393, 399, 181, 210
818, 390, 354, 393, 396
819, 323, 370, 355, 393
820, 324, 393, 355, 354
821, 323, 324, 393, 355
822, 342, 343, 341, 269
823, 342, 80, 269, 247
824, 342, 385, 64, 209
825, 342, 10, 269, 80
826, 342, 177, 79, 10
827, 344, 269, 342, 79
828, 54, 53, 127, 396
829, 211, 184, 183, 70
830, 396, 354, 115, 136
831, 390, 354, 136, 355
832, 144, 391, 390, 136
833, 396, 354, 181, 115
834, 306, 391, 390, 144
835, 340, 286, 353, 201
836, 297, 258, 301, 303
837, 297, 302, 301, 296
838, 327, 120, 121, 395
839, 315, 265, 123, 264
840, 208, 41, 42, 102
841, 379, 380, 94, 264
842, 26, 94, 114, 116
843, 94, 114, 116, 380
844, 298, 300, 192, 253
845, 390, 144, 396, 306
846, 309, 397, 220, 401
847, 289, 291, 308, 310
848, 308, 219, 309, 244
849, 290, 310, 156, 312
850, 305, 310, 156, 311
851, 381, 185, 383, 196
852, 306, 138, 312, 134
853, 291, 263, 244, 243
854, 381, 295, 392, 143
855, 366, 198, 359, 218
856, 359, 187, 199, 188
857, 294, 188, 358, 357
858, 294, 109, 187, 59
859, 381, 295, 382, 392
860, 295, 139, 392, 143
861, 295, 187, 109, 186
862, 316, 321, 319, 318
863, 316, 296, 320, 163
864, 371, 303, 233, 329
865, 371, 254, 260, 233
866, 298, 315, 380, 300
867, 303, 253, 258, 246
868, 304, 231, 300, 246
869, 354, 355, 137, 136
870, 394, 393, 354, 180
871, 393, 210, 180, 203
872, 115, 180, 52, 354
873, 130, 103, 102, 32
874, 210, 393, 180, 181
875, 320, 323, 370, 355
876, 320, 355, 163, 175
877, 370, 260, 239, 238
878, 136, 391, 355, 163
879, 260, 316, 250, 301
880, 317, 239, 260, 250
881, 221, 399, 193, 390
882, 316, 320, 371, 317
883, 131, 104, 103, 33
884, 397, 229, 220, 401
885, 390, 399, 193, 369
886, 394, 179, 203, 180
887, 394, 142, 398, 128
888, 317, 397, 370, 239
889, 239, 317, 397, 250
890, 385, 209, 65, 64
891, 326, 227, 237, 234
892, 326, 325, 322, 398
893, 342, 64, 385, 177
894, 344, 177, 385, 118
895, 385, 209, 204, 65
896, 322, 329, 147, 175
897, 179, 385, 65, 178
898, 121, 329, 147, 327
899, 398, 385, 178, 118
900, 376, 96, 95, 27
901, 326, 204, 237, 227
902, 375, 158, 310, 392
903, 58, 381, 185, 112
904, 311, 143, 392, 158
905, 390, 396, 399, 369
906, 193, 390, 229, 221
907, 369, 390, 229, 193
908, 307, 119, 369, 183
909, 401, 369, 194, 307
910, 194, 307, 211, 401
911, 401, 229, 220, 194
912, 122, 44, 388, 266
913, 396, 53, 127, 115
914, 229, 369, 401, 397
915, 399, 182, 396, 181
916, 396, 354, 393, 181
917, 369, 69, 193, 194
918, 182, 69, 399, 369
919, 382, 219, 228, 196
920, 360, 356, 153, 133
921, 289, 251, 241, 242
922, 308, 383, 309, 219
923, 361, 386, 387, 225
924, 291, 290, 312, 310
925, 373, 335, 372, 332
926, 375, 392, 154, 158
927, 360, 154, 392, 139
928, 373, 336, 332, 387
929, 330, 332, 334, 153
930, 335, 259, 261, 252
931, 336, 261, 235, 262
932, 330, 284, 149, 337
933, 330, 331, 335, 332
934, 373, 375, 332, 372
935, 336, 262, 387, 240
936, 373, 387, 386, 241
937, 282, 285, 374, 259
938, 334, 332, 336, 387
939, 381, 186, 109, 58
940, 382, 308, 386, 228
941, 346, 202, 348, 191
942, 366, 226, 218, 262
943, 365, 262, 232, 226
944, 314, 83, 215, 216
945, 104, 105, 34, 132
946, 397, 229, 245, 220
947, 318, 243, 245, 250
948, 349, 35, 7, 106
949, 184, 211, 307, 400
950, 94, 264, 19, 379
951, 231, 84, 304, 264
952, 19, 94, 4, 116
953, 379, 85, 2, 214
954, 94, 192, 14, 13
955, 379, 14, 380, 214
956, 300, 192, 253, 214
957, 95, 380, 94, 192
958, 298, 249, 253, 192
959, 380, 94, 192, 14
960, 397, 250, 245, 239
961, 376, 168, 111, 161
962, 299, 258, 256, 250
963, 366, 334, 356, 364
964, 368, 259, 236, 261
965, 134, 306, 144, 155
966, 289, 244, 251, 242
967, 305, 308, 311, 383
968, 288, 292, 321, 293
969, 292, 263, 256, 257
970, 304, 246, 215, 231
971, 303, 246, 254, 233
972, 297, 301, 299, 296
973, 297, 161, 298, 151
974, 298, 253, 249, 258
975, 299, 256, 258, 249
976, 320, 302, 174, 296
977, 291, 244, 263, 251
978, 381, 311, 143, 392
979, 310, 311, 392, 158
980, 310, 311, 158, 156
981, 374, 372, 331, 164
982, 338, 248, 255, 197
983, 338, 389, 168, 293
984, 287, 108, 166, 129
985, 281, 282, 259, 285
986, 377, 292, 299, 256
987, 377, 298, 376, 249
988, 293, 161, 296, 172
989, 292, 263, 250, 256
990, 316, 320, 296, 371
991, 301, 254, 258, 250
992, 293, 172, 170, 161
993, 167, 285, 284, 331
994, 309, 244, 219, 223
995, 360, 295, 139, 392
996, 295, 143, 109, 139
997, 160, 35, 106, 105
998, 321, 299, 296, 293
999, 316, 318, 317, 250
1000, 320, 323, 355, 175
1001, 383, 219, 196, 195
1002, 382, 386, 308, 392
1003, 372, 156, 290, 310
1004, 343, 384, 146, 118
1005, 267, 82, 217, 81
1006, 342, 10, 79, 269
1007, 268, 247, 80, 81
1008, 328, 237, 217, 234
1009, 326, 385, 341, 237
1010, 286, 23, 101, 1
1011, 344, 9, 79, 49
1012, 269, 247, 80, 268
1013, 341, 385, 342, 209
1014, 338, 255, 249, 197
1015, 371, 317, 370, 260
1016, 179, 204, 385, 398
1017, 246, 314, 215, 233
1018, 266, 216, 82, 83
1019, 329, 395, 121, 150
1020, 314, 388, 265, 266
1021, 314, 84, 215, 83
1022, 345, 348, 37, 106
1023, 345, 347, 230, 202
1024, 347, 224, 230, 202
1025, 205, 230, 345, 347
1026, 353, 286, 208, 201
1027, 339, 200, 12, 11
1028, 286, 23, 1, 97
1029, 47, 120, 146, 343
1030, 208, 286, 42, 201
1031, 376, 96, 27, 111
1032, 336, 252, 261, 262
1033, 284, 285, 368, 331
1034, 330, 284, 368, 331
1035, 377, 292, 282, 293
1036, 236, 353, 200, 281
1037, 387, 225, 240, 218
1038, 335, 372, 332, 331
1039, 377, 255, 256, 249
1040, 360, 332, 334, 387
1041, 281, 236, 259, 248
1042, 365, 334, 333, 336
1043, 386, 228, 242, 241
1044, 360, 361, 392, 386
1045, 160, 34, 35, 105
1046, 366, 218, 226, 198
1047, 330, 333, 337, 149
1048, 365, 336, 232, 262
1049, 308, 386, 228, 242
1050, 387, 240, 262, 218
1051, 360, 332, 154, 153
1052, 308, 219, 242, 228
1053, 308, 219, 244, 242
1054, 295, 212, 186, 381
1055, 386, 225, 228, 241
1056, 381, 382, 311, 392
1057, 382, 196, 228, 212
1058, 282, 248, 259, 257
1059, 220, 397, 318, 245
1060, 316, 163, 319, 165
1061, 316, 292, 318, 250
1062, 397, 245, 229, 239
1063, 319, 312, 157, 155
1064, 305, 308, 310, 311
1065, 301, 254, 250, 260
1066, 356, 153, 133, 140
1067, 348, 37, 106, 36
1068, 216, 266, 395, 314
1069, 317, 319, 391, 397
1070, 297, 151, 315, 388
1071, 314, 215, 233, 216
1072, 267, 216, 82, 266
1073, 328, 268, 267, 217
1074, 284, 171, 167, 159
1075, 44, 388, 266, 265
1076, 337, 104, 206, 103
1077, 322, 384, 327, 326
1078, 328, 216, 234, 217
1079, 341, 237, 209, 247
1080, 371, 260, 238, 233
1081, 317, 319, 397, 318
1082, 323, 175, 324, 355
1083, 323, 233, 238, 234
1084, 297, 304, 315, 300
1085, 317, 355, 390, 391
1086, 322, 323, 234, 329
1087, 398, 326, 385, 384
1088, 300, 253, 246, 231
1089, 370, 222, 238, 221
1090, 323, 234, 238, 227
1091, 325, 324, 394, 393
1092, 234, 322, 327, 326
1093, 348, 37, 36, 8
1094, 13, 94, 192, 95
1095, 379, 2, 14, 214
1096, 325, 227, 222, 203
1097, 399, 210, 68, 181
1098, 300, 214, 253, 231
1099, 322, 327, 141, 147
1100, 267, 216, 266, 395
1101, 370, 238, 239, 221
1102, 385, 237, 204, 209
1103, 328, 268, 120, 267
1104, 327, 328, 326, 384
1105, 282, 255, 248, 257
1106, 269, 343, 341, 268
1107, 343, 344, 342, 385
1108, 294, 359, 188, 187
1109, 353, 201, 208, 200
1110, 351, 208, 353, 102
1111, 330, 337, 336, 368
1112, 375, 386, 360, 392
1113, 75, 199, 188, 358
1114, 337, 232, 363, 336
1115, 334, 218, 359, 387
1116, 387, 240, 225, 241
1117, 337, 336, 235, 232
1118, 362, 347, 105, 350
1119, 336, 240, 252, 262
1120, 366, 334, 218, 359
1121, 358, 76, 213, 189
1122, 337, 235, 207, 206
1123, 363, 224, 232, 205
1124, 365, 226, 232, 224
1125, 346, 191, 348, 349
1126, 336, 232, 363, 365
1127, 190, 213, 189, 367
1128, 213, 358, 366, 198
1129, 333, 365, 364, 334
1130, 315, 300, 264, 380
1131, 204, 394, 398, 179
1132, 379, 85, 264, 19
1133, 264, 380, 94, 116
1134, 231, 264, 379, 85
1135, 380, 214, 14, 192
1136, 393, 210, 222, 221
1137, 264, 85, 231, 84
1138, 325, 227, 203, 204
1139, 390, 396, 136, 354
1140, 203, 204, 66, 179
1141, 394, 203, 179, 204
1142, 396, 306, 369, 390
1143, 393, 210, 203, 222
1144, 367, 202, 346, 190
1145, 367, 346, 202, 347
1146, 281, 283, 287, 340
1147, 286, 378, 340, 101
1148, 352, 145, 287, 159
1149, 101, 353, 286, 208
1150, 340, 200, 11, 201
1151, 307, 134, 113, 138
1152, 362, 148, 364, 152
1153, 351, 103, 337, 207
1154, 348, 78, 202, 37
1155, 337, 232, 235, 206
1156, 337, 103, 131, 104
1157, 351, 337, 103, 130
1158, 335, 374, 331, 368
1159, 367, 213, 224, 202
1160, 364, 148, 140, 152
1161, 308, 310, 311, 392
1162, 373, 252, 240, 241
1163, 363, 232, 206, 205
1164, 285, 368, 374, 259
1165, 339, 197, 96, 12
1166, 95, 13, 12, 197
1167, 206, 207, 103, 40
1168, 373, 241, 289, 251
1169, 362, 152, 132, 148
1170, 333, 149, 153, 148
1171, 337, 103, 206, 207
1172, 378, 97, 29, 23
1173, 298, 299, 293, 161
1174, 322, 142, 175, 147
1175, 351, 208, 207, 236
1176, 352, 159, 130, 145
1177, 330, 167, 173, 149
1178, 306, 307, 134, 119
1179, 319, 397, 318, 312
1180, 183, 307, 211, 194
1181, 401, 211, 194, 220
1182, 213, 189, 76, 190
1183, 211, 194, 70, 183
1184, 185, 400, 383, 72
1185, 401, 211, 220, 223
1186, 289, 290, 310, 372
1187, 382, 311, 308, 383
1188, 113, 307, 138, 313
1189, 196, 382, 381, 212
1190, 196, 186, 72, 73
1191, 394, 324, 354, 393
1192, 341, 237, 247, 217
1193, 376, 114, 111, 27
1194, 355, 137, 136, 175
1195, 343, 120, 146, 384
1196, 114, 95, 26, 27
1197, 376, 114, 161, 111
1198, 389, 162, 111, 168
1199, 28, 97, 29, 108
1200, 353, 200, 340, 201
1201, 396, 182, 119, 54
1202, 393, 396, 399, 390
1203, 306, 401, 307, 369
1204, 69, 369, 183, 194
1205, 150, 388, 314, 395
1206, 318, 220, 243, 309
1207, 194, 369, 401, 229
1208, 383, 72, 196, 185
1209, 309, 244, 223, 243
1210, 383, 219, 195, 223
1211, 400, 211, 223, 195
1212, 394, 354, 324, 117
1213, 370, 229, 221, 239
1214, 304, 84, 231, 215
1215, 265, 264, 43, 123
1216, 210, 67, 180, 203
1217, 306, 119, 396, 369
1218, 369, 193, 229, 194
1219, 314, 266, 265, 83
1220, 306, 369, 397, 401
1221, 395, 150, 122, 121
1222, 342, 247, 209, 80
1223, 320, 174, 150, 175
1224, 306, 307, 119, 369
1225, 305, 307, 306, 401
1226, 390, 229, 397, 369
1227, 294, 139, 125, 133
1228, 318, 263, 243, 250
1229, 311, 158, 135, 143
1230, 372, 154, 332, 173
1231, 381, 112, 143, 135
1232, 321, 176, 170, 165
1233, 318, 250, 245, 397
1234, 348, 191, 78, 36
1235, 345, 205, 105, 38
1236, 349, 63, 7, 35
1237, 349, 35, 124, 63
1238, 202, 78, 191, 77
1239, 345, 347, 346, 350
1240, 202, 191, 190, 77
1241, 362, 347, 205, 105
1242, 205, 206, 104, 39
1243, 213, 190, 76, 77
1244, 349, 7, 36, 106
1245, 357, 189, 190, 62
1246, 358, 189, 75, 76
1247, 345, 106, 37, 38
1248, 110, 188, 357, 61
1249, 199, 198, 358, 75
1250, 205, 363, 362, 206
1251, 360, 153, 154, 139
1252, 188, 110, 357, 294
1253, 294, 187, 188, 60
1254, 294, 125, 110, 133
1255, 187, 74, 73, 212
1256, 295, 187, 186, 212
1257, 187, 109, 186, 59
1258, 294, 60, 110, 125
1259, 356, 133, 110, 140
1260, 346, 190, 191, 63
1261, 199, 75, 188, 74
1262, 186, 58, 381, 185
1263, 381, 58, 109, 112
1264, 196, 73, 212, 186
1265, 357, 110, 107, 140
1266, 196, 185, 72, 186
1267, 294, 59, 125, 109
1268, 186, 58, 59, 109
1269, 358, 188, 75, 189
1270, 294, 360, 133, 356
1271, 382, 361, 386, 392
1272, 400, 72, 185, 71
1273, 360, 356, 334, 153
1274, 185, 57, 313, 184
1275, 332, 173, 154, 153
1276, 211, 71, 184, 70
1277, 400, 185, 184, 71
1278, 357, 62, 107, 61
1279, 184, 183, 56, 113
1280, 312, 157, 138, 156
1281, 309, 220, 243, 223
1282, 313, 126, 135, 138
1283, 185, 112, 57, 58
1284, 313, 57, 112, 126
1285, 280, 166, 171, 159
1286, 194, 183, 69, 70
1287, 400, 184, 211, 71
1288, 400, 309, 223, 401
1289, 307, 183, 184, 113
1290, 183, 119, 182, 55
1291, 182, 69, 369, 183
1292, 184, 126, 56, 57
1293, 399, 69, 182, 68
1294, 309, 397, 318, 220
1295, 145, 31, 101, 30
1296, 315, 264, 123, 116
1297, 182, 54, 396, 181
1298, 312, 157, 134, 138
1299, 205, 39, 105, 38
1300, 372, 158, 154, 164
1301, 184, 113, 56, 126
1302, 399, 182, 181, 68
1303, 390, 306, 369, 397
1304, 210, 181, 67, 68
1305, 390, 355, 136, 391
1306, 181, 180, 53, 115
1307, 296, 172, 174, 163
1308, 375, 392, 360, 154
1309, 290, 321, 319, 165
1310, 203, 180, 66, 67
1311, 328, 326, 384, 341
1312, 394, 354, 117, 52
1313, 346, 124, 62, 63
1314, 307, 113, 134, 119
1315, 55, 113, 183, 119
1316, 204, 179, 65, 66
1317, 376, 95, 197, 192
1318, 338, 96, 376, 111
1319, 179, 128, 178, 51
1320, 312, 157, 155, 134
1321, 178, 179, 398, 128
1322, 178, 177, 50, 118
1323, 394, 180, 52, 179
1324, 342, 64, 177, 10
1325, 344, 79, 177, 49
1326, 395, 45, 46, 121
1327, 385, 177, 64, 178
1328, 354, 181, 115, 180
1329, 342, 64, 80, 209
1330, 342, 10, 80, 64
1331, 396, 127, 136, 115
1332, 385, 178, 118, 177
1333, 399, 193, 210, 221
1334, 285, 162, 169, 171
1335, 280, 389, 162, 283
1336, 285, 171, 169, 164
1337, 280, 171, 166, 162
1338, 163, 316, 296, 165
1339, 300, 264, 379, 231
1340, 306, 155, 319, 391
1341, 290, 176, 157, 156
1342, 290, 176, 156, 164
1343, 372, 173, 164, 154
1344, 321, 170, 172, 165
1345, 290, 157, 176, 165
1346, 287, 166, 159, 145
1347, 284, 159, 149, 130
1348, 116, 264, 19, 94
1349, 125, 294, 109, 139
1350, 287, 129, 166, 145
1351, 285, 374, 368, 331
1352, 287, 145, 101, 129
1353, 333, 148, 153, 140
1354, 359, 218, 198, 199
1355, 225, 199, 359, 212
1356, 95, 376, 197, 96
1357, 320, 163, 174, 175
1358, 391, 155, 163, 136
1359, 283, 166, 108, 162
1360, 293, 169, 170, 176
1361, 293, 170, 168, 161
1362, 111, 96, 108, 162
1363, 302, 150, 174, 151
1364, 319, 165, 163, 155
1365, 391, 144, 155, 136
1366, 161, 297, 296, 151
1367, 400, 211, 307, 401
1368, 282, 389, 293, 285
1369, 338, 111, 376, 168
1370, 394, 128, 117, 142
1371, 396, 369, 119, 182
1372, 349, 106, 160, 35
1373, 362, 105, 205, 104
1374, 34, 105, 160, 132
1375, 120, 268, 343, 47
1376, 11, 286, 340, 201
1377, 384, 141, 146, 118
1378, 384, 146, 141, 120
1379, 286, 1, 11, 97
1380, 331, 164, 173, 167
1381, 27, 376, 114, 95
1382, 288, 169, 176, 164
1383, 12, 197, 96, 95
1384, 388, 123, 122, 151
1385, 392, 158, 143, 154
1386, 381, 295, 109, 186
1387, 311, 135, 158, 156
1388, 187, 186, 212, 73
1389, 345, 38, 105, 106
1390, 313, 126, 112, 135
1391, 381, 196, 186, 185
1392, 183, 113, 55, 56
1393, 188, 61, 110, 60
1394, 192, 376, 249, 197
1395, 94, 4, 116, 26
1396, 33, 104, 132, 131
1397, 362, 148, 132, 131
1398, 350, 124, 160, 152
1399, 365, 367, 366, 226
1400, 337, 131, 103, 130
1401, 333, 131, 149, 148
1402, 362, 104, 132, 105
1403, 357, 107, 364, 140
1404, 350, 152, 160, 132
1405, 131, 130, 32, 103
1406, 352, 31, 101, 145
1407, 337, 130, 149, 131
1408, 351, 235, 236, 207
1409, 352, 353, 101, 102
1410, 333, 364, 140, 356
1411, 145, 129, 30, 101
1412, 108, 340, 97, 129
1413, 378, 29, 6, 23
1414, 101, 340, 286, 353
1415, 346, 62, 124, 107
1416, 377, 256, 255, 257
1417, 394, 51, 117, 128
1418, 398, 142, 141, 128
1419, 398, 128, 141, 118
1420, 50, 128, 178, 118
1421, 178, 128, 50, 51
1422, 385, 178, 64, 65
1423, 381, 143, 112, 109
1424, 382, 392, 308, 311
1425, 305, 135, 156, 138
1426, 319, 155, 157, 165
1427, 388, 44, 122, 123
1428, 315, 123, 151, 114
1429, 315, 123, 114, 116
1430, 264, 123, 116, 43
1431, 120, 268, 47, 46
1432, 388, 123, 265, 44
1433, 298, 151, 161, 114
1434, 339, 338, 283, 96
1435, 344, 48, 118, 146
1436, 329, 150, 147, 175
1437, 388, 122, 150, 151
1438, 46, 267, 395, 120
1439, 344, 49, 118, 48
1440, 199, 74, 187, 212
1441, 177, 118, 49, 50
1442, 324, 175, 142, 137
1443, 286, 11, 1, 201
1444, 53, 181, 396, 54
1445, 180, 115, 52, 53
1446, 322, 147, 141, 142
1447, 304, 300, 303, 246
1448, 52, 354, 117, 115
1449, 203, 179, 66, 180
1450, 115, 181, 396, 53
1451, 340, 97, 96, 108
1452, 379, 19, 94, 14
1453, 123, 265, 44, 43
1454, 346, 349, 350, 124
1455, 344, 269, 79, 48
1456, 306, 119, 134, 144
1457, 396, 144, 136, 127
1458, 396, 144, 127, 119
1459, 396, 54, 119, 127
1460, 266, 44, 45, 122
1461, 150, 329, 147, 121
1462, 329, 216, 233, 234
1463, 264, 116, 4, 43
1464, 38, 230, 345, 205
1465, 354, 115, 136, 137
1466, 339, 248, 197, 200
1467, 309, 223, 401, 220
1468, 394, 52, 117, 51
1469, 354, 117, 115, 137
1470, 344, 49, 48, 9
1471, 354, 180, 52, 394
1472, 395, 45, 121, 122
1473, 327, 121, 120, 147
1474, 324, 117, 137, 142
1475, 327, 120, 141, 147
1476, 298, 299, 258, 249
1477, 94, 95, 26, 114
1478, 168, 293, 161, 376
1479, 285, 167, 171, 164
1480, 361, 225, 212, 228
1481, 361, 228, 386, 225
1482, 381, 313, 383, 185
1483, 192, 95, 197, 13
1484, 96, 108, 28, 111
1485, 293, 168, 170, 169
1486, 288, 263, 257, 251
1487, 315, 388, 151, 123
1488, 298, 376, 249, 192
1489, 362, 363, 205, 347
1490, 367, 213, 226, 224
1491, 357, 61, 107, 110
1492, 199, 188, 187, 74
1493, 294, 59, 60, 125
1494, 357, 61, 189, 62
1495, 378, 30, 101, 23
1496, 378, 30, 23, 6
1497, 284, 149, 159, 167
1498, 330, 149, 173, 153
1499, 372, 156, 158, 164
1500, 363, 336, 333, 337
1501, 41, 351, 103, 102
*Nset, nset=_PickedSet9, internal
1, 2, 3, 4, 5, 6, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20
21, 22, 23, 24, 25, 26, 27, 28, 29, 86, 87, 88, 89, 90, 91, 92
93, 94, 95, 96, 97, 98, 99, 100, 270, 271, 272, 273, 274, 275, 276, 277
278, 279
*Elset, elset=_PickedSet9, internal, generate
1, 137, 1
*Nset, nset=setNLBH
1, 2, 3, 4, 5, 6, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20
21, 22, 23, 24, 25, 26, 27, 28, 29, 86, 87, 88, 89, 90, 91, 92
93, 94, 95, 96, 97, 98, 99, 100, 270, 271, 272, 273, 274, 275, 276, 277
278, 279
*Elset, elset=setNLBH, generate
1, 137, 1
*Nset, nset=Set-3
1, 2, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 19, 23, 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, 94, 95, 96, 97, 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, 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,
*Elset, elset=Set-3, generate
138, 1501, 1
*Elset, elset=_sFar_S3, internal
398, 460, 534, 567, 766, 812, 813, 826, 829, 1011, 1182, 1190, 1234, 1238, 1240, 1243
1245, 1246, 1253, 1260, 1261, 1266, 1269, 1272, 1276, 1277, 1286, 1293, 1302, 1304, 1310, 1316
1323, 1324, 1325, 1327, 1422, 1449, 1492, 1494
*Elset, elset=_sFar_S4, internal
432, 897, 1257, 1283, 1290, 1292, 1319, 1392, 1421, 1441, 1445
*Elset, elset=_sFar_S1, internal
620, 1255, 1268, 1279, 1306, 1322
*Elset, elset=_sFar_S2, internal
1262, 1274, 1291, 1297, 1388, 1393, 1444
*Surface, type=ELEMENT, name=sFar
_sFar_S3, S3
_sFar_S4, S4
_sFar_S2, S2
_sFar_S1, S1
*Elset, elset=_sx0_S4, internal
161, 1007, 1012, 1018, 1072, 1075, 1463
*Elset, elset=_sx0_S3, internal
35, 41, 42, 86, 93, 94, 95, 98, 99, 122, 126, 137, 191, 192, 239, 341
391, 654, 683, 825, 1006, 1132, 1219, 1431, 1453, 1455
*Elset, elset=_sx0_S1, internal
478, 537, 1215, 1460
*Elset, elset=_sx0_S2, internal
482, 1005, 1137
*Surface, type=ELEMENT, name=sx0
_sx0_S4, S4
_sx0_S3, S3
_sx0_S2, S2
_sx0_S1, S1
*Elset, elset=_sy0_S3, internal
10, 51, 65, 87, 88, 90, 92, 112, 118, 125, 134, 271, 374, 400, 430, 484
553, 558, 638, 781, 840, 873, 883, 948, 997, 1010, 1045, 1067, 1093, 1244, 1247, 1295
1299, 1389, 1495, 1496
*Elset, elset=_sy0_S4, internal
61, 604, 1501
*Elset, elset=_sy0_S1, internal
945,
*Surface, type=ELEMENT, name=sy0
_sy0_S3, S3
_sy0_S4, S4
_sy0_S1, S1
*Orientation, name=Ori-1
0.707106781186547, 0.707106781186547, 0., -0.707106781186547, 0.707106781186547, 0.
3, 0.
** Section: sNLBH
*Solid Section, elset=setNLBH, material=mNLBH, orientation=Ori-1
***Solid Section, elset=setNLBH, material=mAir, orientation=Ori-1
,
** Section: sAir
*Solid Section, elset=Set-3, material=mAir
,
*End Part
**
**
** ASSEMBLY
**
*Assembly, name=Assembly
**
*Instance, name=Solenoid-1, part=Solenoid
*End Instance
**
*Elset, elset=__PickedSurf14_S3, internal, instance=Solenoid-1
398, 460, 534, 567, 766, 812, 813, 826, 829, 1011, 1182, 1190, 1234, 1238, 1240, 1243
1245, 1246, 1253, 1260, 1261, 1266, 1269, 1272, 1276, 1277, 1286, 1293, 1302, 1304, 1310, 1316
1323, 1324, 1325, 1327, 1422, 1449, 1492, 1494
*elset, elset=elOut, internal, instance=Solenoid-1
106
*Elset, elset=__PickedSurf14_S4, internal, instance=Solenoid-1
432, 897, 1257, 1283, 1290, 1292, 1319, 1392, 1421, 1441, 1445
*Elset, elset=__PickedSurf14_S1, internal, instance=Solenoid-1
620, 1255, 1268, 1279, 1306, 1322
*Elset, elset=__PickedSurf14_S2, internal, instance=Solenoid-1
1262, 1274, 1291, 1297, 1388, 1393, 1444
*Surface, type=ELEMENT, name=_PickedSurf14, internal
__PickedSurf14_S3, S3
__PickedSurf14_S4, S4
__PickedSurf14_S2, S2
__PickedSurf14_S1, S1
*Elset, elset=__PickedSurf15_S4, internal, instance=Solenoid-1
61, 161, 604, 1007, 1012, 1018, 1072, 1075, 1463, 1501
*Elset, elset=__PickedSurf15_S3, internal, instance=Solenoid-1
10, 35, 41, 42, 51, 65, 86, 87, 88, 90, 92, 93, 94, 95, 98, 99
112, 118, 122, 125, 126, 134, 137, 191, 192, 239, 271, 341, 374, 391, 400, 430
484, 553, 558, 638, 654, 683, 781, 825, 840, 873, 883, 948, 997, 1006, 1010, 1045
1067, 1093, 1132, 1219, 1244, 1247, 1295, 1299, 1389, 1431, 1453, 1455, 1495, 1496
*Elset, elset=__PickedSurf15_S1, internal, instance=Solenoid-1
478, 537, 945, 1215, 1460
*Elset, elset=__PickedSurf15_S2, internal, instance=Solenoid-1
482, 1005, 1137
*Surface, type=ELEMENT, name=_PickedSurf15, internal
__PickedSurf15_S4, S4
__PickedSurf15_S3, S3
__PickedSurf15_S2, S2
__PickedSurf15_S1, S1
*Orientation, name=cylXY, system=CYLINDRICAL
0., 0., 0., 0., 0., 1.
1, 0.
*End Assembly
**
** MATERIALS
**
*Material, name=mAir
***Electrical Conductivity
** 7.9577e-3
** 5.8e-05,
*Magnetic Permeability
1.25664e-06,
*Material, name=mNLBH
***Electrical Conductivity
** 7.9577e-3
** 5.8e-05,
*magnetic permeability, nonlinear
*nonlinear BH, dir=1
0., 0.
1000.0, <omu>
1500.0, <tomu>
1700.0, <thomu>
*amplitude, name=sine, def=periodic
**N, omega, t0, A0
1, 314.159265, 0.,0.
**c, s
0., 1.0
** ----------------------------------------------------------------
**
** STEP: SC TH in 3D
**
*Step, name="SC TD in 3D"
*magnetostatic, stabilization
0.0005,0.005,,0.0005
**
** BOUNDARY CONDITIONS
**
** Name: solenoid_BC Type: Magnetic vector potential
*D EM Potential
_PickedSurf15, s, mvp, , 0., 0., 0., 0., 0., 0., 0., 0.
**
** LOADS
**
** Name: SC_Circum Type: Surface current density
*Dsecurrent, amp=sine
_PickedSurf14, CK, <tomu>, 0., 1., 0., cylXY
**
** OUTPUT REQUESTS
**
**
** FIELD OUTPUT: F-Output-1
**
*Output, field, freq=10
*Element Output, directions=YES
EMB, EMH
**
** HISTORY OUTPUT: H-Output-1
**
*Output, history
*element output,elset=elOut
emb3,emh3
*End Step