; CSCI 4150 Introduction to Artificial Intelligence, Fall 2001
; Assignment 7 data
;
; This file contains synthetic data that you can use to test your
; perceptron learning code.  There are data sets generated from three
; different hyperplanes: h1, h2, and h3.
;
; The data sets generated from h1 and h2 (i.e. A1, A2, B1, and B2) are
; all linearly separable.  Of the data sets generated from h3, two are
; linearly separable (C1 and C2) and two have some noise in the output
; value (C3N and C4N).
;
; FYI, These data sets were generated by picking random points in the
; unit hypercube and testing whether:
;
;    (> (dot-product p normal) offset)
;
; where the format of each hypothesis is (normal offset).  Noise was
; added according to a gaussian distribution based on the distance of
; the point from the hyperplane.
;
; 

(define h1 '((.6438711140270265 .76513396769559) .6040895911912545))

(define A1
  '((1 (.8185681288812403 .9489372022786844))
    (-1 (.07555064777325682 -.43599455924238373))
    (-1 (-.8821531267396094 .889913000038258))
    (-1 (.6460148664727048 -.28389485097012346))
    (-1 (-.38471197404981583 -.8209231777825896))
    (-1 (-.04455918614352028 -.35591845558481117))
    (-1 (-.3270980833646586 -.5104801793471911))
    (-1 (-.7559797123027729 .8875472358050143))
    (1 (.8241266722606106 .8782908477334899))
    (-1 (-.37465497685439764 .8520535284793627))))

(define A2
  '((-1 (.7583277180771433 -.7498678389818731))
    (-1 (.40877853451387325 .40474155615635854))
    (-1 (-.958834560074418 .6244300646060497))
    (-1 (-.6654502242634193 -.9278679936284525))
    (-1 (-.2566535613227794 .5582718201427159))
    (1 (.6214888589706842 .5488925040104573))
    (1 (.5816830596673337 .6818089528030356))
    (-1 (-.2365851696075233 -.12128740213961275))
    (-1 (.6765643685084819 1.3229627410449973e-2))
    (-1 (.5250701237528936 -.26987559030516495))))

(define h2
  '((.7593952817909855     -.08376883661093429 .0890809814453494
  1.6640294554676874e-2 .3395052560835863   .24660505159165266
  -.09413693777267351   .10145517734238627  -.4200400256671816
  .19084773444850292)
 -.41579166918037425))

(define B1
  '((1
  (.34546719415284133  .605085334280838       .8870904448990367
   .38812493647928914  .8555759082729648      .7954397892992009
   -.23315311785921589 -4.9106769553742824e-2 -.5868285228344944
   .6208581095804206))
 (1
  (-.7755128319555811  .10066966654345122 .7005571170018021 .37056233288087226
   .35008896159716985  .6689119898585043  .7781656917396067 -.6644485705351091
   -.14093932781943508 .9263268326482814))
 (1
  (.25682022987960407 -.3989755481003965  -.03248160080108975
   -.2984762756369034 .2749873032735046   -.05631478998846695
   -.8920047929184567 -.04358338127329875 -.9602869101337703
   -.7281161562168461))
 (1
  (.17107776781902384     -.34334856428130134 .6330252425198271
   .6956305258158018      .13659161228755434  .6348996805433413
   -.6750999354700324     .05893350562422239  -.6483637677137318
   -5.4711160080869625e-2))
 (-1
  (-.9855939466338535 .9683943963241699 -.9952724822741845 .6220512045804076
   .09643838961659745 .3878968579088069 .5555602730665825  -.7475807016570828
   .16097682896183896 .2728662072597843))
 (1
  (.3209906133368967   -.24209370981214307    3.5793326138278125e-2
   .40853807447540813  -.40503914119331064    .43603449528575244
   -.7356626528031922  -2.5188897532863685e-2 .3900215153000568
   -.42652945945333864))
 (-1
  (-.39026259001142183 .1553453811855816     -.957932436789773
   -.2520927121537886  2.1026752680804117e-2 -.8710800095823128
   -.31362686645428983 -.7194270306725835    .30873408833138427
   .05298162188029565))
 (-1
  (-.6835504114669171 .28127752347066703  -.5139775540609584
   .8647155583192543  -.24811336170895182 -.03806438417879909
   .7404039690042892  .12774573444359216  .3399114219237951
   .06512145030442795))
 (1
  (.514537034922439   -.74189882229769    -.7899434587335488
   -.9723384906215808 -.22048710847795838 1.6299234489327352e-2
   -.4931312146283817 .5899347434634514   -.1073238890470517
   .7531738152648018))
 (1
  (-.19943767692828285 .15547275957124396 -.9915886842547784 .16503183260214493
   .10680926766573595  .7160933116871087  .5533975413457928  .14544310973193864
   .6917112391578397   .0755740747269873))
 (-1
  (-.9096896521627084 -.8754844808432791  .6846306366899872
   .6003191308122118  -.12768387180716245 -.26255467168818536
   -.7316080538225453 .48584203269081416  .4610147530457642
   -.7936970225927618))
 (1
  (.4726008454717241  .4918282347403329 -.897508862774713 .6919617267464773
   .8837543091314779  -.379213178738967 .8513777533678544 -.1984890969452554
   -.8164925065549236 .9513072696878893))
 (1
  (.9478283398177338   -.24960107455216474 5.9394068852292925e-2
   -.8299063982324516  .3422179531099019   -.3377404130736138
   -.2902161815322658  .4888790546554129   -.5304572017985131
   -.04585403279151534))
 (1
  (-.3836317660562133 -.4200752659468856  .7386544190098698 .30192881415356987
   -.4635110328247666 .8753429929205949   .4557549886588881 -.25543151476354287
   .08541759090197454 -.36989004790071633))
 (1
  (-.19413584004404938    -.7438828998057672 .6748248507208481
   -3.0916278984998713e-2 -.9544219178548338 .6575873159542531
   6.1940455648513026e-2  .8374676902748968  -.2485662736564016
   -.7988491484416289))
 (1
  (.468303934052009   .1553534808980226  -.6263782433541238 -.7339464269275153
   .8101005794132368  -.5660021700500536 -.8166187342915436 .5720006795274102
   -.8762183364902371 .23403983706845888))
 (1
  (.828599049044539   -.377643333954787  -.6951901699593177
   .726996510903114   -.7813152048984953 -1.3815986707126693e-2
   .48749371372104355 .7197225025386114  .17520810334851045
   -.9583500925897971))
 (-1
  (-.28772820309704195 -1.2388641494778252e-3 -.7987924867761234
   .7572535222364281   .6861288390193703      -.9285538400622945
   .13206901533071536  .6468922980675618      .696657686141154
   -.33197332514912514))
 (1
  (-.5105286481679984 -.25681854232309687 .9922467134802679 .4989456700847317
   .4708794102432199  -.45614005561934323 -.982899707722128 .44191563157587743
   -.9378648134156419 -.886732352765664))
 (-1
  (-.795817783330355  .9608380705593598  -.2023897161735102 -.26709642082813245
   -.3980999586615944 .31250708190783283 .8053925863995597  .3219684359174786
   .21289446811761525 .5132764199670363))
 (1
  (.09602599532346479  -.6343103121434226 .5091416206084443   -.836352335564271
   -.12341099596048122 .1660695797368763  -.18313656698811864 .7984154971763673
   -.5442683821826573  -.4253585276023467))
 (-1
  (-.6064548557699365 .02897411332113453 .9191881631491567 -.9146615135421295
   .7341424433213455  -.5993074723511322 .5552535596714048 -.8807362526198107
   .25052227597977295 -.9191745476787614))
 (1
  (.8663841214338133     .3993683087166495  .6976630130057024
   1.9670268310781447e-2 .42046620629316456 -.11565770990641056
   .6671239091864833     .34598402276866147 .2545555527957104
   -.5613686749261905))
 (1
  (.13272584082177596 -.6685900423542945     -.0842935339132016
   .7150059460138505  -.8754995841014892     -.06346784097080571
   .6677889484770001  -4.6646482132662204e-2 -.19324333499330482
   .4451296891145522))
 (1
  (-.24114298359623987 -.34651034714946327 .8860918887496132
   -.39836298231776224 -.34601942001145736 .9113245856847201
   -.27930537434213953 -.20946509485303555 -.8200855569682148
   -.5623078806818322))
 (1
  (-.35978417210255764 -.32300577746122816 .7567684852480521
   -.4778386781432651  -.31396816777294523 -.7946877472506461
   -.14880632789433734 .9336465051556548   -.44733901024719125
   .2515031053352905))
 (1
  (.3258659412687015   .5083347404239871  -.427335799470702
   -.9802922331498612  .20226870849992706 -4.3682433017159905e-2
   -.10834568309172254 .30022841889903473 .9061926145877137
   -.48720946662035947))
 (1
  (.09170809608384523  .38566027510173195  -.7616371025350377
   -.3759573555737238  -.8092486362546317  .770325365674595
   -.5096936932644967  -.27330674379284814 -2.8856543392008493e-3
   -.11512795872419135))
 (-1
  (-.7018504125320474 -.4808907237379937 -.9367949491562263 .8138071836598766
   .36621811353394085 .31617681975031364 -.6453194506993977 -.7623262635459265
   .38890383321431443 .18549798846419208))
 (1
  (.7222556282326762  -.08820634694794005 -5.2031844682097206e-2
   .5981470691018587  .9470484214218431   -.5660171215026839
   .24816404335219877 .8042744745084487   -.4786189965422021
   -.8540793269105248))
 (-1
  (-.04877446434550736 .7454885972494825   .2676061704610546 -.2626608904249278
   -.6945275567641105  -.20644608699535727 .2964690524345137 .1524118403350141
   .28135616947123343  -.5027504841596243))
 (1
  (.8852695690994961  .8160630136449623  -.6009968807932419 .8562600592340577
   -.7875132059998731 .7086855234912195  .8099402340710398  .05741267960683061
   -.9660508911661465 -.9689253037433667))
 (-1
  (.41922741641666206     .9541111899936934  -.13938344402632608
   -.030543417006898      -.7817701666869341 -.7577326080735454
   -2.0253271120895255e-2 .9302509384349116  .8362350205847005
   -.07332437982936901))
 (1
  (-.7404242206136977  -.5036342641148184  -.3694349752848909
   -.32325250902591796 -.05553359428366367 .264518638682224
   -.8894615460763005  .8628918126491967   -.3765701993561469
   -.21421493498400657))
 (-1
  (-.7731997782518153 -.10215358704113586 .808190516438557  .90939101985352
   .22396798527795814 -.04937633761365001 .5049282823513823 -.3257257143567849
   .13669702543026885 -.46023403231547455))
 (1
  (.7742637793699556   -2.1780390550592443e-2 .9991162195791445
   -.25470454485004834 -.13931552267088032    -.4545367139560831
   .4082585789825053   .8980516599235726      -.8457937113076841
   -.18651043389284805))
 (1
  (.7283723854091628  -.8071488870856689 -.13322828329776915 -.6110369004437664
   .9552798298598266  -.636648571161377  .9811670793932479   .28669844903831665
   -.5679931062832395 -.8430497039144972))
 (-1
  (-.3904849712160474  .9380287587852552  -.9484560107212234 .7395404401928425
   -.75107028073523    -.7698805478516507 .868715795069835   -.536207826733831
   -.36646697875865153 -.9563321656970449))
 (1
  (-4.9402246542044725e-2 .10494258429964831  .40706604789833767
   -.36002850551161514    .4911166865973695   -.8529106870443918
   -.546039591014897      -.24280090588471026 -.6639252138136946
   -.07292138910028312))
 (1
  (.4826760099766263 .47281800335368374   .3982627906350684
   -.722719790091179 -.23867916972222636  -.7501865007800359
   .4848239969983976 8.031317275053906e-3 .9183288867565906
   .225274441793182))
 (-1
  (-.8543838256206175 -.20360853523436062 -.7085469822731649 .6786936624891748
   -.5528796184259462 -.37565503057052263 .7581262129337134  -.5013194208747235
   -.6061523351889946 -.6450922936726039))
 (1
  (.6403801618614002   .05066911625986581 .3158677072681808
   -.21125223861454545 -.6607485488764342 -.2902231594666642
   -.4897269409728783  .23589427773362748 -.22208813487329537
   -.9503869083132442))
 (1
  (-.23851773193864823 .5120831531380341  -.2472763700029771 .3408552642688798
   -.42624892227613476 .04005433321005469 .9843734749410924  -.7329904736636561
   -.648408734295993   .9398872553602411))
 (1
  (.5977086122121065  .3043053756750951 -.8764094951055124
   .8331916968258932  .3159297575661095 -5.9011339511502725e-2
   -.5675033698411465 .7489522287493482 -1.3919221951997907e-2
   .29308786766264583))
 (-1
  (.04158177394604046  -.15684661869523886 -.7131912886551479
   -.39289254438235954 -.45553620049675947 -.7177019404686311
   .36136067072087985  .5372530929013772   .6426645564412052
   -.4065349472297064))
 (1
  (.4412066762349647  .20386094740110083  -.05060233111796242
   -.5167896569669126 -.21747741943397259 -.9999379497020714
   -.8477591008969572 -.9067548209647122  .03917538821601241
   -.5241922809791195))
 (1
  (-.9428064100709819     -.7363300911806641 -.2064597108476559
   .525326442817839       .09502430201394518 .7917401690405563
   -5.8557204737511026e-2 -.2123904070029855 -.5028012407743386
   .6582910815001128))
 (-1
  (-.6735444735660503 .08961541006529639 .26397369157519845 .35168905620427005
   .17890496735799233 -.3410679247941215 -.833129646993626  -.16368885892872798
   .15225651854679056 -.3933212424085024))
 (1
  (-.273144510194129  .07111281141535475  -2.9417959308971176e-2
   .7519585152063035  -.31782693848692223 -.1917844093309068
   .18463271342291576 -.6030210042407516  -.4946884670000157
   .13583808850478163))
 (-1
  (-.8789620118669258  -.31620903000725553 -.5038496431706585
   .822767015340234    -.852171891196831   -.7704927015240453
   -.8242782682928702  .38434777244034657  -.16375090922665658
   1.56194437477275e-5))
 (1
  (-.48656642190945154 .6876801015898586 -.40469490760552573 -.0866115492379893
   .4882886059213065   .8886327718950724 .2828891478512543   -.9103915890566907
   -.39476117374696906 .5638687377374954))
 (-1
  (-.6517715049578943  .6238392284417515     .02549988849263163
   -.8303051696046083  -.2668483951907237    -.11614558323769086
   -.12218175819397648 -3.183235650862648e-3 -.2745843027655318
   -.33062126223303057))
 (-1
  (-.8362955220931856 .361177059543758   .08100134353269972 .868449602122942
   .842275639346656   -.4822934347697224 -.8633257433112311 -.39928391412748476
   .2813928198085549  .42060611283011506))
 (1
  (.16688974151258562 .8429169620421213  -.51199886006303   -.09553810010610397
   .4859038604026473  -.7629987524857265 .06108740142207525 -.27000986699714546
   -.2326905341268174 -.4503060349383229))
 (1
  (.28503096486096147  .3274553871334709 -.6388385598999897 -.43243223455784874
   -.8192304994669166  .2469705464865204 .6043181140026055  -.35161434969819894
   -.28791668648821844 .9985036719573006))
 (1
  (.3309977018868058 -.4383490847404453 -.720951775695374  -.8602273555707971
   .2806226714521445 -.5395960280899843 -.9326935828811181 -.6720642038528624
   .8461357157748841 .8894912236014978))
 (1
  (.5528772007125398  -.4403847323735067 -.34192335063349844 -.8025430382724654
   .20639070543273208 .09976815653472215 .37852094389791713  .7620424746559495
   -.8693209149284764 -.4245909431769873))
 (1
  (.3977875860847855   -.9503951183874103  .14104480196377822
   .11215848232637904  -.7031443176129184  -.20737846895048684
   .5559420715504584   -.41859744328376536 -.9090654513671359
   -.21495168564719114))
 (1
  (.15950109059864315 -.21443226516064284 -.9900786979008451 .3730456840398788
   -.1299984254059363 -.1547707346672783  -.467799608907429  .19775144336483375
   -.484928072296232  -.4736390293967433))
 (1
  (.9270234065212115   -.3142957278926575  -.9488987908103722
   .8100471000769724   -.44949243293317553 -.9821925419175445
   -.34715111337968974 -.7246805999016862  -.879001415193781
   -.9763718684860178))
 (1
  (-.5428874822599901  .31336537435809775  -.10392348922780192
   -.5429558986133848  -.18656958358661457 -.7880750747724379
   -.35222769686047417 .3258096856598389   -.9020167136355498
   .13655098334018945))
 (1
  (-.23568150405269295 .7963443214496881  -.8897047851813314
   -.3466863768951576  .7604422179987214  .40946276463738496
   -.09435102424392361 -.6440067962324325 .48269786858313934
   -.4349434872099006))
 (1
  (.4422255747977477  -.6338220308928542  -.4716829404603724  .7365754197078938
   .6714763665472581  -.19649088615143073 -.16112075927797798 .7777707285454623
   -.5194195801385441 .565782894806218))
 (1
  (.9387995399753557  -.7507534317564608  .26998335038077004 -.8167281921682044
   .9676093509974999  .7093410083434324   .5994156645604125  -.6448585913107481
   -.6618142543148882 -.17015101803717092))
 (-1
  (-.7102628873082144 .32122698999152877 -.6574501624068363 -.9287954582003823
   -.5767899546502041 -.22460014422494   -.653534987538046  -.9745511756913634
   .5658458028522388  .8328081167219301))
 (-1
  (-.7600267908536209  .8408162531452443  .11269558490334952 -.4943351460321983
   -.6130725136178924  .8573141361788312  .05602738477292868 .8389734460960299
   -.05432135641379443 .43253676992903545))
 (1
  (-.5261442222703996  -.19296075589135375 -.24382952326423202
   -.09967573767024529 .7050265722268105   .8948929853445071
   .03882443560150506  -.3250113545509653  .22193971046006733
   -.2730334378697833))
 (-1
  (-.9449626122891933 .759392789284923   -.724966642126635 .17389604492799382
   -.7435817147413988 .11694413600133746 .6740423278813743 .08841803377542878
   -.8703675627130637 .34626297902579295))
 (1
  (.07739536123978374 -.8643299684211727 .9771902621458171 -.5335666364216789
   .5790972723382262  .3624767346336468  .8236884435448895 -.3843856102139521
   .8995887896739747  -.1245253020018866))
 (1
  (-.2984822626440812 -.5108084156070933 .9265846725629929   -.9649398517386754
   .3330797913170882  .1437227003552517  -.38872071796646424 .2871148410336055
   .23110389713093626 .07360505204834622))
 (1
  (.5072895329297631   -.8682832828120832 -.29686673835020827
   .5033344839505554   .6593941194696749  -.17707320439754193
   -.5378475276961079  -.8813381291475824 -.27927859555845913
   -.13923564592753035))
 (-1
  (-.7995139479165826 .4795780264301901  .7622250222626898 .8715472843865251
   -.7243326410235984 .05804643297806189 .9698266554272579 -.6451390032250656
   -.8298292954333933 .5570615687839007))
 (1
  (.9851870182729174   .3776570951771656   -.21454626230353757
   .6257379004100081   .367664451906067    .6822038573238578
   -.6435065684415244  -.11694480049999523 -.24381486424689047
   -.10296703910334859))
 (-1
  (-.7548500361792394 -.6991027375905574 -.3958966715679232 .06070728490677113
   .3823556995279571  -.6509173135865913 .02298628471673725 -.3632531363554917
   .21113829595402156 .558891422533071))
 (1
  (-.7300532722497048 -.24591687885801872 -.6959479573368421 .27816420476669945
   .4940211832220913  -.3354688097437247  -.821130627092359  -.3029006879111993
   -.9398715961024533 -.7059673365507826))
 (1
  (-.22162891042142752 .5244285589135584  .44013290833697294 -.5963827241170019
   .5811292580109197   .620130676799606   -.5224645979731164 -.2526810747253255
   .578700430200785    .24131164052676368))
 (1
  (.20403042575813646 -.9002239772819728 .1970215518924192 -.6811349760754208
   .9005071095895338  -.2914325549400325 .038793289380606  -.18879507946408713
   .01489545429928163 .7036349718734098))
 (1
  (.41097746394921275  -.9778140461745369 -.37260440198309297
   .19498294451621234  -.8972799865264446 -2.2974070421157067e-2
   -.44057660857282654 .09517970249892649 -.6017637611387341
   -.44428585451595237))
 (1
  (-.3954352235834059  .9928921293384536 -.4591153998150437
   -.07292517632353723 .564781902782598  .5964550664607144
   .430403239827607    .5447721061585147 -.8533262697203623
   -.16397391860835941))
 (1
  (6.535659784609127e-3 .35084905958600476  .7281532899105843
   .8490245079726733    .6705543851369926   -.3374128948634175
   -.42659134676981636  -.02170586704940758 .4750490252336592
   .920700836368721))
 (1
  (.8083952197437119  2.5864346215809242e-2 -.24841951165397125
   .33685417442681986 -.17270119904156445   -.6322396491098213
   .277590042070474   .5298961302380731     -.1637953393671142
   .1078804408990317))
 (1
  (-.9751788396099336 .9916402050196662   .6472140877125949  -.6828241740386283
   .8268385541472101  .0431587866544243   .46760416062037025 -.5293113602433719
   -.9987317966282505 -.08437436619351424))
 (-1
  (-.17447886613020547 .41015898088244596 -.5298497992682385 -.8529842885362267
   .34396204508836625  -.7135857996921822 .4406855267480545  .7128081388222149
   .9334410633116972   .40580142033961764))
 (1
  (.5631083342748557  .8781474301104288      .1556141236280255
   -.3593215725376755 -3.3673233624632926e-2 -.9013147362290355
   .19413427821608997 .7970497750177161      .8081015341543842
   .42785954967590456))
 (1
  (.937331500390232    .35047210817047403  .48945814404806365
   -.33824501947761165 .1211513652479641   -.4076184437233238
   -.05043997411900192 -.38661327421038094 .34504778793203617
   -.3441489792244381))
 (1
  (.8759052901015445  -.27309632635803005 -.22973301078860298
   .1307929627722979  -.3509617780230029  .31911267819711076
   .7815094373439315  .36729572406887967  -.24610901163670817
   -.6595026264659858))
 (1
  (-.04282909008072355 .9360632970184826 -.5651535256360116
   -.33606299028739217 .2515959996399424 -.3489988354837974
   -.5546341556527583  .6055979807926319 -.6730274749838601
   .9043622607183204))
 (1
  (-.05695711851231422 .942464226324186    .32110225283669114
   .2071586544708799   .2526455321962078   .4934240983489715
   -.32156574926521364 -.18481732903143544 .26861045983225385
   .5597567096815406))
 (1
  (-.4565524019493633 .1490693757648922 -.4917962531230834
   -.502485026491905  .3134649010764725 .7621378551262172
   .989246183528153   .3242144790992776 1.3216424050294329e-2
   .37741249913514174))
 (1
  (.29097553446304003 .5979950935556497  .28661320508296284 .4451969627351464
   -.5197450191710902 -.5176214570151891 -.6373688644233263 -.970603971707872
   .4960699923057923  .4871010224883223))
 (-1
  (-.8075390148530004 .789556609687345    -.1914279982347833 .5510328364919788
   -.4385483235103873 -.12138157328751586 .0982008454136094  -.2623498161117893
   -.3267866854169251 -.43214942076260854))
 (1
  (.77181451834251     -.03599699101876119 .6936328328373293 -.6564296768703843
   .5027327359452991   .15915272752655762  .2752198880482697 .10998560291480453
   -.46402807005684366 -.18236425842899395))
 (-1
  (-.3280816489459034 -.07614947468525435 -.7702000999941958
   -.73487559628542   -.5980365392729134  -.9467520703873039
   -.6188965472612722 .7847359438714756   -2.4487671703667946e-2
   -.3160328694107394))
 (1
  (.243636100138114    -.2414019061734456 .5865905098460971 -.597342702091372
   -.25442477042603395 -.7838804696033248 .713955764791411  -.20503509278064025
   -.37239294007000623 -.8266592056335174))
 (1
  (-.2117602871867832 .1758483582826429 .4367495028264232   -.9626610856068566
   -.5244322064384261 .5933914584962086 -.49778490734494396 .8196517762491151
   -.0938824833066697 .8773114824170614))
 (1
  (.9463169467010499  -.429577214444961  -.8092524858764983 .8147759910379258
   .43865428846172794 .05194239627097552 .8725492072670595  -.7887769716195494
   .635812179227141   .3523871714160629))
 (-1
  (.06335519145167812 -.7477322171299394 -.6417873832883632 -.23516884869333454
   .11348838907839776 -.7542321064442304 .32826705478162865 -.8997483680720306
   .7664038466364189  -.4749859360453975))
 (-1
  (-.9074244614544144  -.02919538206094341   .8864556545001172
   -.05288858601461233 5.6177896745710054e-2 .8520637786156309
   -.3507149016376525  .1269739772274321     .9951034975181141
   .92185641443573))
 (1
  (-.44257773580329696 -.5642518684783158 -.9210730119620834 .5699729034327587
   .5889827925583613   .6767388862519745  -.7915710208373739 -.1473007392456065
   -.4931398265682392  .2641887535157017))
 (1
  (-.2946377127601738 .18645802138659406 .09349313505633394 .940138707799067
   -.6233113715696514 -.1345696173777916 -.962712212887956  .21063080990061955
   -.9249684190435433 -.8774457097489453))))

(define B2
  '((1
  (.31722292969611354 -.6861267207261719 -.2909316612534827 -.5148285561181005
   .6048494260814616  .09167508442382677 -.7192617497863967 -.893055184154137
   -.7879056252864022 .08580972380681162))
 (1
  (5.1413057198995915e-2 -5.9372683823309735e-2 -.33766277197010675
   -.7942617169980213    .06071184186813405     -4.2175059255877834e-4
   -.05121934536287953   -.1611760989310873     -.9712552153170751
   -.07200729785487903))
 (1
  (.7855214618443529  .36828572695176787 .2383226315005713 -.8549371020110988
   -.6326754298441524 .7149364255775423  .4456602174854607 .5646331007180656
   .49165678989567896 -.9669824475038127))
 (1
  (-.8696310900496681 -.5926684872161929 -.7322746004586511 -.8271825930885768
   .9617179948390904  .1731646055974585  .17545157668116929 .07048980690363083
   -.786521122542351  -.8233087442620992))
 (1
  (.3741777937093025  -.8725956509269257 .7641961352948521  .9210997013387965
   .8311896182494116  .6582562314093301  .22976498122998157 .8408107914039991
   -.5270419837057614 .21091853921641435))
 (1
  (.926072736184663   .9182745347710728 .3215217885113342   .21631234187669168
   .23219009073473296 .299380766809197  -.03257367740452022 -.8852602651869649
   -.9290884429694717 .2646982223548673))
 (1
  (.3378673546689881  .34543300856071646  .19941164646229192
   .9786746734504992  -.44718602561297127 -.4071330132511596
   .513193333420429   -.13755958892586595 -.8741256346392046
   .02729779834311663))
 (1
  (.6462854384983487   -.5655840537110157   .8852569822748855
   .19115287856100238  -.1910191709071155   -.03553530880661604
   .12656335943211272  5.708327290728121e-3 -5.8424871250084665e-2
   -.10454001965064097))
 (1
  (-.8057915845487634 .12438847721133905  .16874175235715438  .8252338527529894
   .8512703239117636  -.21138216137348464 -.32823271505561735 .6820037147053561
   .20418417919914256 -.10389061633484742))
 (1
  (.18648700693911757 .17332742173844884 .22349740660690864 .9591842456245612
   .2728783433242681  .4874590401158889  .7481523488510311  .8943732682317185
   .7063275600158698  .9741488061544354))
 (1
  (-.2192797544636761 -.876703142044953  .8596902543908105   .8308743976881663
   -.520199155807727  -.3481413230161896 -.19005683482398372 -.8810466894426461
   .08913672749085433 .6909908457787135))
 (-1
  (-.9663310274089815 6.0612641578322135e-2 -.8539703770703291
   .5772119681085599  .5247682988699156     .3876213610493826
   -.7036938384451132 -.06082848024185339   -.0700914229616656
   -.4202357994162429))
 (1
  (-3.1559521601953966e-2 .8391451163207473      .22783687760568783
   .6654818389395738      -.29351407998883405    .3110590913694573
   -.17337517623484033    -4.1327159201408725e-2 .33033547193083845
   -.5826305574535282))
 (-1
  (-.9910128693923038  -.17051520660812414 -.8354967425524917
   -.04045738400944665 -.5961154536298889  -.6987291082026543
   .42843711495916015  .02342781776495717  .4517124791765963
   .18175622772164202))
 (1
  (-.31460906811362255 .26211291791651514 .8649963101663118
   -.552883367930636   .5421849805188657  -.15320433484530582
   .48018469368129124  -.6531760204271134 -.693185836185219
   -.4796076932451777))
 (-1
  (-.7015838684765434 -.08014959734881943 .13849394761316236 -.8691657156091716
   .8989299744122312  -.742145077025221   -.2759410767768755 .9036688156235833
   .6358064567155746  .15540631762170976))
 (-1
  (-.7574152925021659  .7554823548480429   -.3176512826672421
   -.10344416869739559 -.39202848425138337 -.6856518975524836
   .18131382621512038  -.226301226795536   .03576488773776787
   .48018933958396004))
 (1
  (.5617194654905697 -.03191934040738198 -.4975190398952912 .129506816539805
   .3013494909989525 .7344267164990617   .29831230698422573 -.6798256231469866
   .6023979238262376 -.7926306582435857))
 (-1
  (-.8680215006089088 -.2091277716787623 -.42627387333926037 .9969577849807192
   .6344429129204281  -.2570247948833564 .8672314699124912   .6391288452305934
   .9269031075841085  .5555801940564766))
 (1
  (.13336536001107357 .25490530167578873  -.5523116471622043 -.7959351714187478
   -.7903435861113756 -.8371444566142099  .603592431642572   .3993823325719945
   -.9376805461217655 -.12166099986254819))
 (-1
  (-.6962994743328302 -.5038279577901447  .6354659106995282 -.6688585808370944
   -.7585245698673238 -.04790580487799112 .8464193738140391 .2592599541638745
   .3247807427830769  -.25441071863101183))
 (1
  (-.21811857914798727 -.9023995281923557 .7747159616261674
   -.11403111311843517 .23598416852297288 .7071754533182544
   .03334872684598511  -.6977570598220418 .6649556156072713
   -.23599285310599116))
 (1
  (-.4418353771812229 -.2986973981590678 -.711197299546559   .5034874108427756
   .5402691903760066  .6677493030062751  -.04486358985871031 -.788023539106389
   -.4837152514184304 .4575492724049246))
 (1
  (.10646043567273344  -.1450216871977571  -.4579797222488323
   -.35864939885056746 .6310635852057762   -.21170418431482296
   .5031106247370023   -.17630768704263922 -.860612603207832
   -.9386368165009618))
 (1
  (.3646248143220143  -.5041548315251185   .822963601237819
   .9851021747862712  7.315368167259084e-3 .9048032796764784
   .3366078838433697  -.28633902045704773  .25988226530594094
   -.3301346252324695))
 (-1
  (-.8017106822246112  .7816796928896566  -.8906109690324066 .760138856899155
   -.45624987112387305 .8563476231139475  .9023269288036122  -.7328735442516319
   .11651685917344512  .10603866948052154))
 (1
  (.7591202428554187  .6996691982490817   .7318380215808726  .2647989784190419
   .2837995729453391  -.28148733228618206 -.5986841316319584 .7963386930017018
   .04591167653667694 -.6952541448353489))
 (-1
  (-.5421110865917418    .6820045691938192   -.6758695799809293
   2.9285952948598926e-3 -.09483945590308807 -.9982701488750406
   .21499702196451498    -.7287366568678253  .4788306395975299
   .6134062344364428))
 (-1
  (-.7176536434768392  .6197328460632507 .6383060147500434  -.6327867927411417
   -.23104619052150077 .4608359712418588 -.2665895075381146 .3940004997351212
   .8915354128595621   .7093037922276462))
 (1
  (.5910848751560376  .19800664810231727  1.2139194426288746e-2
   -.8741588982219795 .22124890240520334  -.2042284873363428
   -.7584090057741956 -.32875310737727337 -.5850842804474341
   .5765037107939177))
 (1
  (.3462797782224134  .16582949734971564  -.4863058238829321
   .8791857714289633  -.33245599145588467 3.7115787897626706e-2
   -.8039630076428445 .4496109195165463   -.32451216797869675
   .4902195440258592))
 (1
  (.9129650992259442   -.45482680138063947 -.10673920706233386
   -.44574971944763064 -.5561634674157987  -.1028815180795285
   .7928429169031359   .3364304501288924   -.33048295896789404
   .19991869758805114))
 (1
  (.3052403671960817  .8674491381592224  .5524232629132728  -.7686521804060928
   -.7405470750999487 .02923799379407188 -.3300974198268929 .42708318241299503
   .9887749478090262  .9420773395594177))
 (1
  (-.903780955709262   -.9785703140992791  -.1641305940739468
   .30217591731596727  .3562436319843909   .43169733815791234
   -.22872261985754894 -.42840598550206743 -.4593410625347647
   -.5720739531936985))
 (1
  (-.4713281950346755 -.10967535235648429 -.7090545726346953 -.793856515774802
   .06551832177853023 .7457587483173223   .15005222236510862 -.9976414283710083
   -.6100326054846317 .7927379554518708))
 (-1
  (-.5075335804227898  .4207312118037734   -.4687898585907997
   -.07709569329989108 -.24299728130339326 -.5370171609532753
   -.12255294239445702 -.6725591529074115  .6744755321117997
   -.252183979903562))
 (1
  (.09149559621174763     .8591547634675571   .6904059495898034
   -1.4294940296438186e-2 -.6613056543996856  .5130950588652574
   .5144109287234151      -.10940070300060412 -.0268794226307415
   .7200648143422612))
 (1
  (-.6343452274267856  -.4963085286974773  .4786538722443556 -.5650089028815377
   -.09852537966627317 .9211333123048921   .160806921265096  .5212034251554909
   -.10425649106532398 -.09680184803065128))
 (-1
  (-.8237779944014945 -.44916334125348756 .4312287166612556 .16173414462447888
   -.9046195879399539 -.9522510817649903  .3069515746400593 -.5511073935207764
   .14484054821641257 .82306835500415))
 (1
  (.7177062422476084      .9756873775921848     -.2890464841493481
   -1.3812547798515928e-2 1.4259885314688914e-2 -.6297355210754736
   -1.770994395216663e-3  -.5961957974315106    .05822058610876635
   -.981703548670867))
 (1
  (-.42424269558890104   -.49825352697895553    .8030206386500744
   -.6602668800161533    .3025793806912602      -.5950255379954185
   6.2043858531448004e-2 -3.1742771425916305e-2 -.06420245285169512
   .6304296194929975))
 (1
  (-.06753094199524601 -.2554143351216501 -.7443774367500765 -.6547012567225625
   -.5175040195666999  .535606012604672   .9352733818060641  -.9032456151946048
   -.5173291102020642  .8974136643780088))
 (1
  (-.5029069742920191 .6800137950107616 .5985483210516958  .6267986325859076
   .7888964607716729  .8713506635643433 .24324031738010277 -.03333655352859821
   -.0794916901265873 .6288459725082456))
 (1
  (.1815370125481126  .7876285093226802 -.0784826905914614 -.46208367946334616
   -.6303886347804086 .7715424645826483 -.4505814395968121 -.07898650397428608
   .7264899054152074  .4844418841931526))
 (1
  (.4936094613438582     .43887243959921474 .6617173436816286
   2.2791016640596906e-2 .12505215909920175 .9858758221215986
   .5316175431148353     .9406609366888423  -.43831101599884104
   .8584644513419648))
 (1
  (-.3394112560658381 -.7542605346001924 -.8428011106359785 .9890482509381233
   .793330655658304   -.8860111980303321 .4262437213052108  -.9330774204957735
   .38540748295538063 .7912165236091433))
 (1
  (.38768749938775726 1.0938571080261195e-2 .5414587752212057
   .16462431750798645 .342777221164174      .526503838047506
   -.6409228109299704 .7427210823431625     -.9306897273411622
   .3184486666210562))
 (1
  (-.10819899559509827 .7400804335950879     -.38310650757409925
   -.02433812318409112 -.7985802583845568    -.1281866542158958
   .576072481433014    5.6632355619958163e-2 -.7046198850784217
   -.1640110774478073))
 (1
  (-.1297969728822319 .6611975935068886  .5264966868871086   -.9521506865883138
   .7257518774431104  .6810598774825454  -.49628717905875197 .23402502950516646
   .7568452597559026  -.4623072709216588))
 (1
  (.3777877299322139   -.6698879800619184  .8816159817874618
   .9563047484917389   -.27007758858389874 -.9557791482142396
   -.11723490561968053 .7827418257747099   -.05735644681537111
   -.13086360638363237))
 (-1
  (-.23093365741769512 .48479554369672617 .869981069897745
   -.86119081296631    .03691074233142522 -.8157068977780954
   -.48356444049110225 .16093559931141277 .7075211914576605
   .39776807022021154))
 (-1
  (-.20502835326482116    .30847745680771466 1.1663353317025393e-2
   -1.0185022617440032e-2 -.783775685103349  -.8869710814754608
   .06855897496985142     -.3186546472351237 -.08907152047505551
   .36657107128595356))
 (1
  (.8125040379964095      -.5263137723392735  -.35119337885546653
   -2.2195768568422647e-4 -.5223884069388598  .5104140554443166
   -.8635562116554428     -.20931631839987397 .4798757218288674
   .20380837051641243))
 (-1
  (-.8362569597506162 .03812638697927628 -.22921527273628772 .6338756233848115
   -.3402970430211828 -.6653916673564721 -.8432758299671996  -.6613634364462497
   -.3628754990208841 -.9718366153210363))
 (1
  (.5838292455112437  -.1301395156538807  .6045498335786976 .8797402780965673
   .5149824981519282  -.39236947683660484 .3716048679449653 .09953304601313206
   -.3936094206217786 -.03655983768003046))
 (1
  (-.9571272292606616 -.5437781516739378 .6403583162934035 .9758130805285334
   -.6746018338885645 .6480396031961306  .3447933547953066 .9404998551361494
   -.7743923554364502 .5685655255436031))
 (1
  (.34681803191408744 -.3270992344793622  .5032894125945044 .7920457955822882
   .40605405043584075 -.13382412345826644 .6078524808490795 -.10600672558183633
   .5891189905688154  -.5300532089663357))
 (-1
  (-.8272435197458178  -.4370029515551903 .25241347780964984 .47661527604401965
   -.06231330691640413 .5546134388477233  -.9858360201886809 -.3149096021835106
   .6058915224926216   -.9311165254692506))
 (1
  (.2299289619898528      -.2903064690650283  -.3552626196239873
   .9194601670832607      -.07781468922949242 .8015042163914816
   -1.3564401554833627e-2 -.9071300173028489  -.7136372487452315
   -.782485877841811))
 (1
  (.37041374455487097 .5663659004102994     .5995568861248401
   .20954070707031147 2.0393427252296092e-2 .29732837632453113
   .5788003578535286  .6887658132342225     .03705079462035887
   -.7389018327683465))
 (-1
  (-.8716163806054     4.321316960641752e-3 .14112800492570732
   .29791934846192514  .24655940109696162   .41889589817600315
   -.9905415796564677  .5803815475436644    .22669410568975623
   -.32148973005997217))
 (1
  (.32352084727436403 .7812947539860555  .09641910937663534 .4268004058706578
   -.3534563418401595 .7679799489769852  .8207131002805115  -.3588863352300673
   -.8658476256135008 .02288681434337847))
 (1
  (.5760077689495029  -.4775079030980215  -.06456215803576881 .9111990429358545
   -.4117741824730464 -.39817797974471236 .49943573062708113  .0872731091073633
   .7788773311521826  -.7597414927554101))
 (1
  (-.41435971275712336 .03715809601959541 .5637806313622051
   .7260053643561031   .8604345049946971  4.6986772035000346e-2
   -.4415607580933263  -.1996803274374459 .3437852879797403
   -.44464798393269067))
 (1
  (.334121001109156    -.4610430256708561  -.7386060703296751
   -.19294577743036878 -.09312227449044852 .44709781213558486
   .3039026717933624   -.747123670935542   .6683772109313604
   .7694189103429891))
 (1
  (-.3401230407647359 .3589461815531205 -.6413521739204323
   -.7597402163778202 .9447106103700476 -.23598460484759953
   .6201863656986812  .9118955832811719 3.2339723119907626e-2
   .5230721872335675))
 (1
  (.9142383512973766  .19996862625699574 .5160701595201043 -.31461383927917785
   -.7154378747980086 .9714398830796591  .5358987691997303 -.28432314619925236
   .6510543088091705  -.8310585196957208))
 (1
  (-.31785419923003555 -.11900037191691848 .11868767384286927 .7730075383710298
   .2031016876025844   -.6190700214578189  .0380100303306361  .7597518607039841
   -.13509118875382842 -.5260995187867661))
 (-1
  (-.2772474853289867 -.42954693668236366 -.3553833898103137 -.8180508415890518
   -.8535708136083219 -.9768318044683335  .1643856605100278  -.3709789567754824
   .2685790416651628  -.6528483634498534))
 (1
  (.91606515077416    1.3768589372942897e-2 .11158071774009226
   -.5411892853923949 -.5859386431820908    -.1555461384769833
   -.85932980554566   .09329941996058855    -4.263534914077605e-3
   .24472244508182905))
 (1
  (-.4379951025335993 .6904127910854443      4.7380875618407536e-2
   -.2696217415733516 -1.8019468311708753e-2 -.36964097359408743
   .33778203481084446 -.12017646515762492    -.34241884032080283
   .7326802719997711))
 (1
  (.6314747827493992  -.7349891580350105     -.15517289093133635
   -.5705650834955334 .5778110860588623      .2953736825093787
   .07144632268632556 -6.2431493148244366e-2 -.287630559047254
   .957726434289625))
 (1
  (.48497058391218384 .6970960862202291 .21651230987221037 -.6753716390526058
   -.840074804890988  -.662636078501395 -.5515901320050356 .19135284841916622
   -.1433446611549527 .4931954991691694))
 (1
  (.10365922877525358  -.6371042593814249  .9178592049491816
   -.07123804217115748 .41566632713152374  -.5337696316812299
   -.16343703209822646 -.34261503413158356 -.906885354671261
   -.428300753501594))
 (1
  (-.13557298567096354 -.5107658811737386 -.5476263588615999 -.3454925880598516
   -.36578443060371146 .1125443190249431  .6069856626062953  .46642933630667316
   -.43900617845240764 .5188733040342028))
 (-1
  (-.3866280356732058    -.5539219313696049  -.36978453138119605
   -.7136155778002176    -.33624888413614695 -.42916078193714
   -.9632045486513579    .2587518813772498   .3620112828933766
   2.1668322176751964e-2))
 (1
  (.6341307396466502      -.8479424270893708  -.46849231592902485
   -3.2596943239445064e-2 -.04258867474574213 .41770325952407816
   -.212084041922451      .4470604674972831   .1290654148080681
   -.8874160464473722))
 (-1
  (-.6724795448506246  .7567166250160855  -.04711743100443555
   .5265562393778891   .923488681115546   -.25410808955098974
   .6420772597683562   -.3788708757828815 -.20747848694152027
   -.47455168500839695))
 (-1
  (-.6357166436916644 .5410160938522499  .5803583259465619   .6670806697419387
   -.5218310620657065 -.4949623158841421 -.23680415241607022 -.8462996113187395
   -.6654838519933213 .5220797517361115))
 (1
  (-.3538453832197066 .7665266336017831  -.7621566790181173 -.6604893953312299
   .08047817074749397 .2932732124967421  -.5404925117507723 -.02167385609549688
   -.9497100938457415 -.2442739387558237))
 (1
  (.26669643314869185 2.2720734149590527e-3 -.48065222879016334
   .9462275862999117  .5150230963656481     .946661253397657
   .5376346268896417  .8057845218640107     -.2640028713084791
   .5466001899291297))
 (-1
  (-.9249807162268329  .5170892019722253  .653942679583494  .910322865366846
   -.41720602034731535 -.8724043987137317 .7667169726531917 -.46398119286631834
   -.7675657670101683  -.5917873536140976))
 (-1
  (-.8654030629729422 -.5258250799097879    -.5231762415766439
   -.844935585098499  -.5947885080179998    .9346647704190862
   -.7204194163442815 5.9465688955347984e-2 .3007468372824915
   .972801281107591))
 (1
  (.3928998007822082  .7405031353008271  .9950094502361135 7.788062803200546e-3
   -.8562037682349372 -.6550493417948593 .7880849966174981 -.31376119855996365
   .24274559417127817 .7729267442749426))
 (1
  (.42988650248139915 -.9156929695928621 .7184488583803745 .21012732480900276
   .15279234102088068 .8858637203065023  .9884371836535135 -.23544251317559106
   .11280443509202964 .7631122103928498))
 (1
  (-.8329832407564195  -.3430973279093128 -.8060970546283026 .9199901659972851
   .49069886036531396  -.5101464482840924 -.5653722071617053 .20529101696481344
   -.44135680031189317 .47602862151808645))
 (1
  (.23690793714126102  .1974522690259064   .6760943840212357 .5838519213533169
   -.26404759528120936 -.32403141740247543 .7307993054050013 .5832256912058518
   -.1701072835946773  -.16677614856368883))
 (-1
  (-.29635347902815956 -.1337300785045723 -.3158986094825652
   -.1989968554105107  -.8205129697692033 .49568940966353914
   .4820654889127072   -.7091684389267681 -.13965964170598844
   -.22944179692939137))
 (-1
  (-.2102101803876113 .9941623425043216  .4245255247509636
   -.7537921184601636 .49954489048051753 1.7503545872754822e-2
   .4658412577885218  -.4219930360815407 .6973619704336882
   -.1585444672481907))
 (-1
  (-.9313336358537591 .5908420854141494  .1031577111025781 -.4829153687261457
   -.8558995279668592 .985584084393438   .5756992432005927 .9913666280817317
   .8009780093573244  -.5742874350099445))
 (1
  (.5652671861057952  -.768853380075718 -.4818662790137649 -.8123824128559586
   .04875561204826884 .8234505059936206 .43365162451943795 -.27011114739593023
   .9020383808552734  .9665626645630256))
 (1
  (.2582298410802961  .23877364774091836 -.24238176602216177 -.6004888103349237
   .6508147093127652  .459999081515706   .18458093980394885  .39621221296979603
   -.5043227815818074 -.6810874795553827))
 (-1
  (-.8651189960831764 -.29507317265387756 .46058841638801207 .7283439009081851
   -.8065447558259414 .624230087297305    .577242623988123   .9341067335732594
   .7123853067313151  -.5638028769332484))
 (1
  (.38855570017890506  .5608678706466079   -.602681885010891
   -.311048130634064   -.19133089574907314 -.4523430017898127
   -.05708554975814828 .04048046730514665  .4106281281106967
   -.08002202524806146))
 (1
  (-.6724541081027757 -.6660970054405009 -.7207857381095943 .8953212302822169
   .49719728051824186 .6753215231878236  .4366125001532637  -.47151298806014585
   -.8893437724203613 -.7212663182537844))
 (1
  (.7063082699970207  .48651731885797034 .594305205617921   .13908827344315156
   .45017822162501764 -.9489491297269114 -.8518541919205502 .29209974046342513
   .5804813857894406  -.7739528121589134))
 (1
  (.5237657613164812   .8318686734790317  -.985009525885118 -.8556667420264179
   .19039440293609444  -.9633911363354315 .9469776222796384 .24315725551354372
   -.09574307582311226 -.4665863968741456))
 (1
  (-.6553730522927048  .9939229632657056 5.0320195791218714e-2
   -.7942504950266454  .5782204027965436 .05286010617024739
   .36209900044149146  .3394767038285229 -.2555572577467622
   -.36243306491807226))
 (1
  (.18556672053593992 -.8868623667942155 -.08810930173856824 .6874445817519963
   .810430263414083   -.0888198594199725 -.8587123666176484  -.5502196587042647
   .5678357318600591  .46764442402362416))
 (-1
  (-.9950734088139997 -.7660292798723435  .7151892810538287 .34401192532853675
   -.280767814350277  .9839151967129613   .9137718322614345 .9119207788164736
   .28842583355543416 -.40370306629187314))))

(define h3
  '((.5198286041326667      -.49580409671804077 -.4519262865553718
  -2.5707516442250427e-2 -.14110646659861503 .10486969281083149
  .49814615097935894)
 -.6551523893782314))

(define C1
  '((-1
  (-.9592470400492277  .7396162717365848  .3765756489901986 .7161475239742403
   -.05696432694905007 -.7137817248163998 .5397278353801553))
 (1
  (-.48115223492629855 -.1583160119577265 .37102939674052116 .3277921808508599
   .6747510052224983   -.3103811253215898 .7639440202200134))
 (1
  (-.22080063822306772 -.8874496546195001  .8533122970877591  .7959477098145844
   .38153144272688255  -.20913452376743602 -.2977290727404518))
 (1
  (.47694146013462624  -.2533236006895587  -.03731587510243506
   -.32468047612891593 -.31440755179432167 -.784915147564508
   .3798745025180681))
 (1
  (.14653689547737225 -.5201490855777509 .45728293044641966 .16934067705802236
   -.7261124087103088 .8338956579494938  .7326443345898812))
 (1
  (-.31099590858327675 -.7464704771368653     -.9501496948652781
   -.3411483202841462  -1.9096649506940344e-2 -.5793145489638143
   .557975623242063))
 (1
  (-.8699005239991244 -.29407656110599234    .2230678526953187
   .2987438744152242  -3.0555076234223155e-2 .2720491793845421
   .09365622686880659))
 (1
  (.6068090596315556  .9610031493485476      -.38440105806151526
   .7983112798518399  -5.3904589561168836e-2 -.8408553472730044
   .04302545944580971))
 (-1
  (-.07493992926895143 .474330160620541   .9372999592885607
   -.19446061783756663 .18495564021281385 .03915400830930338
   -.2328898534561622))
 (1
  (.4278285482756661  .22898197875938142 -.5236085466151226  -.6639402504823406
   -.7058746001053073 -.4135432688211361 -.12142862556668532))
 (1
  (-.7730654428865126 -.18553374612882467 -.8642519724837644 -.6589716510602408
   .7767547329151476  .8852570609716433   .2091298010306546))
 (1
  (.19241573614116736  -.21467393079618213 .683770436425426
   -.24431092297228862 -.4738960395030398  -.9417493421837564
   -.6535753049580093))
 (1
  (.8698529250336031  .09888250229284457    .7704680140252085
   .11299189635667939 -4.618474986192833e-3 .6170118069474257
   .6065221945831112))
 (1
  (.13327832977901943 .20765719377395842 -.8252551222979733
   .725429406535613   .9784434530633077  -6.0838349467188024e-2
   .04998514830365908))
 (1
  (-.8506097237703039 .8602659984727692   -.7905597246607763 -.1816108827265106
   .7205645778688656  -.12670498286223153 .3072706867326873))
 (1
  (.10274277802410392 .6710539540171785 -.45851396473417283 -.36339955702819815
   -.3406782245038522 .3228864070527331 .02006546340424742))
 (1
  (-.7452930446542951 -1.9277363805190406e-2 .3602786238308515
   .5896813790193776  .6374151036578872      .16240691715200306
   .16472808686635476))
 (1
  (-5.9739524800958455e-2 -.33214973813405924 .42411420566974467
   .1346186808480634      -.03512449915884586 -.6528089433591917
   .2490200289164437))
 (-1
  (-.24368191748354806 .8012010285179143  .4426035325073212 -.13386757151906792
   .5463298791394684   -.6724951184267354 .4030536559911604))
 (-1
  (-.3518152397030676 .8474443064157902  -.8473785699431069 .4149365008516894
   .9119856966566129  .18396346408869535 -.7744335641321185))
 (1
  (.8902753268953825  -.4815400148294168 .5638482071969753 -.07482159449116044
   -.8535136168979965 -.3733735212280572 -.624274988686986))
 (1
  (.4490473957837646   -.3015417499718509 .7715495784901427 -.6753536067848951
   -.09027056429799474 .6681831060771168  -.919832751527234))
 (1
  (.628119296892685  .592737350604424  .1718987938620835  -.945342122979162
   -.677695682828426 .5465483599651468 .06315951871587844))
 (-1
  (-.2744527604366336 .5781995099715418     -.10400205513462668
   .5010641993734335  1.1867701788278895e-2 .6617509779307886
   -.9714660453277943))
 (-1
  (-.7999726335983405 .9421401670460359  .9703485495065671 -.1179571392922163
   -.9564029927789268 -.8781467735280128 .7526623668995014))
 (1
  (-.7749343590984754 -5.5447410158169674e-2 .32445448698063206
   .9020364464982837  -.09263218414577679    .6345626628428729
   .8791960546271829))
 (1
  (-.5000191967701764 .6879241830761593 -.6224620407708712 .9372159921764582
   -.9133107037205607 .5152645943631238 .4019074754346017))
 (1
  (.8243023550886455 -.5069072287377288 .27189029901275674 .1104932817519797
   .718950613540307  .212123790769982   -.9155207391776153))
 (-1
  (-.8551016080369027 .31643329248348406 .731717136376208   -.26986234736379977
   -.1472900611666148 .31225834567129884 -.6673523058036253))
 (1
  (.4368212845139454  -.03762305695286838 -.20066155074241288
   .04121804684542352 -.4143749030939943  -.4966031078908163
   .7401564975038131))
 (1
  (.7957684004164398   -.7069345956050495 .3297501315010596 .14014473224541257
   -.16309224716747672 .16852678308324753 .9626260338847363))
 (1
  (-.6077639749364042 .09136765158195947     -.21283545393128345
   .4056831651899069  -4.9326507664898545e-2 -.5951094706485857
   -.3019149691121594))
 (1
  (.5576252298867623  -.5376038606483534 .11141426618142791 -.3363199128493666
   -.3515908952704525 -.5832924041702556 -.7751080968593109))
 (1
  (-.6061390754838231 -.531236950693695  -.16334264022687295 .8682544327669945
   .7264144706148823  .44957616954294055 -.24949775688524567))
 (1
  (-.6922432357587889 -.05353074084679921 .4707312531195711  .6739660288136988
   -.7794641607667601 .552180590052368    .38582668521654173))
 (1
  (.2249775352247263 2.5574854837701277e-2 -.850962677331365 .8643416374273849
   .6071910574184627 .8310824984580774     .7214950105658442))
 (1
  (-.3462955734532973  -.32700535111013496 -.4564080446218234
   -.46149569873406515 -.4137302616305303  -.387331583755244
   .5819754595658455))
 (1
  (-.6548692696435252  -.4457667659103949  -.6206363984623882
   -.1131985177206789  -.18514732595666694 -.3984929022827336
   -.01906384413487261))
 (1
  (-.47310749612877556 .46794962448527766 .6866411833169883 -.2470726287540428
   -.05648902973217074 .18267339372852986 .3047874147360998))
 (1
  (-.5711874765939865 -.7208662756263119 -.9251710943937896 .7018469410271464
   -.2819846948631861 -.1137460543701263 -.8676007104427562))
 (1
  (.5946284872417205  -.7535235306172673 .43289434191874965 .4160702286940885
   .14088664522963423 -.6190287419816348 .42875556534709824))
 (1
  (.1410658186546827  -.7570279107394488 -.33893367152071285 -.3961099518883391
   .07916933237478285 .5754823358444059  .4737049158123612))
 (1
  (-.29268248762549187 .6254292973613242  .4018342567163453 .1582549856489699
   -.820488996129121   -.7000157932052573 .5197308733124879))
 (-1
  (-.9873469727897864 .901345739026258  -.12133889217085547 .03670662715647666
   -.7459148375153482 .5661185839750322 -.17275153237016816))
 (-1
  (-.839870337676106  .7160795849236654  .1931167035283483 -.08275113520532751
   -.6737580388711742 -.3680286344234234 -.70896847838183))
 (1
  (.4025300976384083  .19661677395531063 .1227005323426571  .08342607957709824
   -.5223359376219288 .5819689016579288  -.3665230727830472))
 (1
  (.8802537376529698   -.6932827482154624 -.36781536201924947 .6038122847720657
   -.16198506620943676 -.574768061254602  -.5537227908541946))
 (1
  (-.2686259030232042 -.4249862337310173 -.04985538573220305 -.7438174641502759
   .7223519125515034  .5528020327361325  -.28445081469189704))
 (1
  (.9288251818260471  -.5107007388848588 .49727123451567157 .6815918223950916
   .31940907672910135 .40245789778704966 -.66650727957779))
 (1
  (-.6394771356595181 -.7059357758913373 -.2691611010455074  -.2748488235227401
   .8013083066340865  -.8288532242049151 -.11984137529488814))
 (1
  (.9041256293469639   -.5851158965205726 .23406502887847025 .06306583232137597
   -.19489695224316905 .22656007160730662 -.9164221802684737))
 (1
  (.6377936597422158   .08676916347673291 -.6993455394396391
   -.44110870994756546 -.7640170028479968 -.07520616505668287
   -.24847618170138008))
 (1
  (.7270459366578679  -.5861895135443069 -.5758783528300448 -.9070334615034906
   -.8025039786036405 .3331318420045215  -.5450733140402861))
 (1
  (.4578484197354973  .6835100065026316 -.34094873739051257 -.8870787819464211
   -.4510794885585544 .5042081585901419 -.46922421300460604))
 (1
  (-.07775552603154856 .1579439811850245 .8113551989795584  .06162005507110169
   -.4456088257087497  .6053847577485545 .34906592051157026))
 (1
  (.39355321623565764 -.9467123778847889 -.8699425774043689 .3621276390763555
   .47234484445343816 .531823535370435   -.716220089835371))
 (1
  (-.42231020543527575 .7793843771556677  -.7558328413356012
   -.12114381129055263 .48585467912006974 -.30089488963235045
   .3042157153880871))
 (1
  (-.16133334622873619 .5201503214428089 -.2754139644971746
   -.23903440595492065 .9954998842388156 .36940176059655117
   -.5757279144317469))
 (1
  (-.35797060252862356    -.673758315008318 .7162469361399382
   -.06199400809359967    .3793783059569289 .3343275135084143
   -4.9351931839892615e-2))
 (1
  (-.8772368913949897 -.678464043045491  -.43934284783823285 -.7801950739000401
   .3729334610664907  -.8498154015394572 .8000075567979454))
 (1
  (-.69210913322413    -.4020941529913039  .5666420538521395
   -.05038960493447908 -.06612017083228583 -.1849894141603604
   -.18111267264596265))
 (1
  (.2929634764941449  -.06731153124397571 .662959314024727  -.1920514306892308
   -.9827493335850879 .8619826685893148   .4188245323240112))
 (1
  (.83898319797472    .7438461619241235   -.2187272254595617 .9756377674355612
   -.5059227281086178 -.33567008065952697 .10090244596463438))
 (1
  (3.6751509221213396e-3 .7592391932374323  -.9535082675906693
   -.7749756404373045    -.8270857653430265 -.18048929886483733
   .4494855667574862))
 (1
  (-.13130860907410813 -.709340928715352  .33671762856738363 .09170163270516984
   .0792446745085118   -.5173956373676141 -.9155029811844031))
 (1
  (-.1116648701853874 .6210830533191132 -.5402631824140707  .41498061527379404
   -.725727654674239  .2913964582739823 -.04928215296156957))
 (1
  (.20366759412417612 .451348325995901  .4485858849349733  -.3416176947551054
   .22330383912579133 .8856308719674484 -.3655250190821535))
 (1
  (-.9501959368938068 -.00230440520949704 -.595970840654302  .4287423186804429
   -.7287038948022573 -.5346463042481876  -.7774856502393792))
 (1
  (.46951059702494025  .7820998548787319  -.2841093443381941
   -.36629215973230567 -.7013654221098002 -.20268081361739987
   -.7136120723020426))
 (1
  (-.8972348518404584 -.5523268253918816     .689346691697541
   -.3881094271644361 -1.7205204369040716e-3 .7127166368448137
   .8149642793170226))
 (1
  (-.39968150365129285 -.870995796135389 -.8866299119389498 -.9079753103526021
   .1795944720269116   .3861090207776392 .7399099871282349))
 (1
  (.38501357820934334    -.1062352754015421  .0948076023426927
   -.8260289777838963    -.11634603738359417 -.4769531594088221
   -5.008531041686082e-3))
 (1
  (.1520473006554499  .24400558048394227 -.7620016347640213 .1633046879005906
   -.6601028256817987 -.510587202746639  .929333406883913))
 (1
  (.9658435154308607 -.9207998597072435 .11567449280488584 .6879955298360385
   .7508521533464689 .11481291557989648 .27455629137642257))
 (1
  (.16249922798306127 .42425412710785637 .3127077469982995  .45808036655429785
   -.7500538776512885 -.775587737299022  -.8023277174242862))
 (-1
  (-.1343406270425076 .14124043185873947 .790325190162199   .4739579957373883
   .7280066010169761  .491133317690265   -.7833832299609007))
 (1
  (-.8491207643518233 .4788816439440493 -1.3329711059725025e-2
   .5746254417749883  .6588274632334097 .9352184430873236
   .8884472701331219))
 (1
  (.4225892408548264  -.9607594511014869 -.5810569776001584 -.6367272357883947
   -.9240249003330535 .3407582996189109  .6746254415188746))
 (1
  (.8706679035335172  .9891931312032896  -.45368039032174323 .23595963050140956
   -.4352980868836144 .15123614290640242 .7272039723200769))
 (-1
  (-.7784541717013975 .5130381285131886  -.09252985135248148 -.5410490514955588
   .9708319333973712  -.8156337102591452 -.22636564544677462))
 (1
  (-.8519670509872574    -.12325867955020942 -5.311105173676167e-3
   5.0565016747644354e-2 -.38210526688735147 .0908121772701993
   .4502131788178967))
 (1
  (.6729956209578034  .12353375778013587 .40507917735385623 .4456344398735492
   .09074391691333594 .4232295418894263  -.7639293453701881))
 (-1
  (-.9950709417404967 .36215889239935084 .4285885042378079  .4722806595641662
   -.6037935088432784 -.4744611739582163 -.1615840889997595))
 (-1
  (-.7404143215860407  .4541520795949643  -4.4551654072189306e-2
   -.36837800565219714 -.7453780310989567 1.4837077603252924e-2
   -.8905451212666755))
 (1
  (.9983701789732675 .25286585378095716 .4158860461505667  -.10068517027036894
   .8547842864119264 -.1414723716926206 .08483451125774821))
 (-1
  (-.7222749140605738 .14061306363508685 .9155503757246193  -.4351894895490137
   .9372555421866191  -.4452931073555876 -.3459503792062756))
 (1
  (.4859513238607338 .30611913058222173 -.9212929749876412    .6369330990558177
   .2040569521533988 -.6030576559750569 1.8642701463124967e-2))
 (1
  (-.45184300031029034 .5798702328231538 -.7076477120952305 .49423565237577494
   -.590850153927284   .767783710928382  .6616049693683219))
 (-1
  (-.9583455686903857 .13568400537558367 -.44660851714039285 .13622200621317848
   -.535025117377547  -.8414995985123092 -.8714892052480593))
 (1
  (-.35246458713950657 4.6533451702601036e-2 -.37544505458260546
   -.31851524687199295 -.42756504219440394   -.8576796248761002
   -.9961943761401278))
 (1
  (-.5612978795092761  .581500053384225  3.9486434123812364e-2
   -.9216503942404529  .5098350158774236 .9129994245164554
   -.19692265940471865))
 (1
  (-.04318007994813389 -.14204108102950397 .412778418758859 .2206716300228979
   .9001643717058054   -.7787551411645897  .573803901641867))
 (1
  (.9934857916011077   .5605821273762059   .3184358148351729
   -.39722227235001306 -.06449814171588297 -.06173657749516026
   .6068632793692676))
 (1
  (.4200594190275988  3.3343053228854114e-2 .4596162008349973
   .7859973178547777  -.9844006364983514    .5038495779780783
   .03529362920123802))
 (1
  (.2952149506835442   -.1836955123391183  -.7229055866167247
   -.33271985283670935 -.23605763497303434 .7562699762129574
   .41530350015417605))
 (1
  (.8649749968491669 -.08695328548428749 -.7280976373330895 .9782227822325924
   -.74598289484389  -.6341715353007562  .4645429042453679))
 (1
  (.41625379516772676 -.40535906772753116 .8781161474507724  -.253489116734696
   .9372497572764402  .9940145616349934   .12229420468478258))
 (-1
  (-.5078623903773986 .8594845671433542 .4191354939471179 .25450172793877046
   .5432707345384065  .856105604507152  .1940586413187657))
 (1
  (-.7088289052583614 -.0804390775510565 -.28867976470929546 -.3402130330682418
   .6512393770404619  .43032660641512677 -.4737205187251332))
 (1
  (.8093905153327976  .17458151324487003 -.15522690624374302 .2868946824303067
   -.8487475605783373 .9784151976676834  .618444626241043))))

(define C2
  '((1
  (.14069428148294594 -.8447061151320885 .921265382693691  -.06890893153486422
   .4534678480744687  .26423324093249767 .9942545718446543))
 (1
  (.8150879389316401 -.6539699542964459 .6520849899995198 -.4666510441650765
   .4979129446413286 .49121149011330156 .8755240192119078))
 (1
  (-.7464848111226279 -.4142182714005679 -.6613329747474438 -.5445784688282042
   .4827120991920961  -.9291924204784358 .37052248950409994))
 (1
  (.09863082121432631  .26346458129522454 -.6414668201951622 -.8764664706267259
   -.23498594252740257 .30288228544276463 .5221927910137372))
 (1
  (.43140614245949105 -.4105491622008257 -.29620066156634206
   -.9730796310737259 -.984702663012667  -.23275934023871014
   -.801243355731996))
 (-1
  (-.6568382438933922  .8249593910586082 .23704773285082514 .3708950022362347
   -.10870494263794384 .3557100018436439 -.3908630881817815))
 (1
  (.6930458318593979 -.8772297001877214 -.7967607055287351 -.7977318537860781
   .8339229885418002 .8494144373682961  -.7420404503844218))
 (1
  (.4371515701491753 -.22563710113246582 -.6422307077355575  -.6251646215389071
   .4819483806867484 .26932771465430005  -.29245484631095875))
 (1
  (-.5323622631053001 .571444202181236  -.348733995748607   .03222797698367841
   -.564126474275401  .8729979026515478 -.46167066770334575))
 (1
  (-.6774766581103633  2.4139478132291003e-2 -6.0225287289620955e-2
   .8437349664090841   .7103894591685262     .08440037943003742
   -.04492273629284782))
 (1
  (.9149587786697768  .34295675594238184 .7683184539996069 .6710360400274349
   .45502801176047414 .2540303772013057  .9403044939277514))
 (1
  (-.7311189073733042 .22828244560896693 -.17369338727287642 .7951802436671922
   .06497852348836441 -.0182971551761697 .1826193299873491))
 (1
  (.7133864296057568 .33109364627289306 -.18299558710189956 .6404956719378192
   .508121312488943  .2504773904225759  .10566282633885615))
 (1
  (.6569992285885373   .9058051857932066  -6.044444867927212e-3
   .31326674776299246  .08019263283371991 .7720819965145573
   -.32902322119221006))
 (1
  (.5613359389376547  -.23935529175139414 .25486241054588743 .14391423941579906
   -.9672494534953142 -.45417068136643    .30962142733580134))
 (-1
  (.17505709730910257  8.570303917595057e-3 .7928649347658094
   -.29927904123822113 .6643863456141976    .5400879312540496
   -.9787375530911814))
 (-1
  (-.29807803558427615 .9908464066577685  .6509987987240298  .5449482932977243
   .409156592806285    -.6829460157115781 .41694640114082304))
 (1
  (.6210314450099033  -.5082363843780899 -.9734200350630796 -.6823923737769857
   -.7624296976281676 .4808507951452057  -.6720814179536903))
 (1
  (.9924377668560922  .29518387431183823 -.538228711972745   .8837165458636784
   -.9761093263236216 -.9680333817005546 -.22921494397941855))
 (1
  (.5962591380768678  -.6661528223964301 .7451936129308232 -.4490072618343486
   -.9041101554223687 .2368613509890407  .6448644046262657))
 (1
  (-.04994533426354797 -.06957232378140599 .26593525622265335
   .06274521521146559  .09365606295603324  .4481002481748586
   .7820892634127397))
 (1
  (-.31718366047970914 -.8798732234629258 .4532009841096598 -.9091483893677923
   .3231697144489383   -.6324197277804136 .2306971247665317))
 (1
  (.574996690702388   .6319252127221846 .7543472058073935 -.10000606102403964
   -.4490584491857542 .8277047581827557 .3278104198721825))
 (1
  (.5331082641299678  .30939623120869064  -.22582835939925672
   .03616525027454509 -.22395156326698085 .2105299458030261
   -.698761531732466))
 (1
  (-.6451022429916802 -.872310990319018 -.8419828906678395 .6290803221392915
   .43945316858525985 -.656310401456792 .19873050646708634))
 (1
  (-.19578836531819355 -.9643339253546832 .4205000277381623  .1548003255794761
   .9999488126485945   .7318149136051244  -.9090509315825195))
 (1
  (.8882438595037021 -.6406584349934226 .8437439639164879  .7702299935862305
   .7133032215215536 -.8831261176186684 -.1468617803729858))
 (1
  (-.4271915068700811 .4448726701606911  -.9621096672049138
   -.8241206619703685 .34860155748739086 2.0519884094269747e-2
   -.1688497662181614))
 (1
  (.5735145094496135  -.5393306165227325 .7885748145503164  .40045311977208264
   .09995487367263389 .18087336232521722 -.7367556897652752))
 (1
  (-.4395665608341416    -.17376669912339038 -.46565226729220277
   -3.941647014512717e-3 -.3228620292186528  .3408254451826511
   .642608273823988))
 (-1
  (-.7284299751376151 .08997491268670998 .9102013231141042  -.9821377717681902
   .719521234882438   .5810667155090099  -.5125393647613695))
 (-1
  (-.6252159974831343 .656457748795461   .7529087394393383   .9799530915682588
   .9451545476274967  .18092454921096168 -.46857060337039946))
 (1
  (-.5305156297172835  -.06201055862709248 -.8249938327644414 .152314388603338
   -.09309202327054467 .6275222236610976   .5257343909769951))
 (1
  (.4184318052353708 -.482833580443209  -.5346713475122482 .9799718954367236
   .5436418968528065 -.7675348424440422 .46694075067869933))
 (1
  (.5436337687350272  -.9170567606541523 .29223935596207085 -.8086217229820575
   -.4552985721445859 -.9190303249273336 .3505560343043832))
 (-1
  (-.7937599399520083 -.6224439982586121  .3487728663589489  -.3820333445701205
   .910849623743968   -.04961574712024974 -.8150910546713172))
 (1
  (.7758235314113828 -.7544036057712552  .37535373980104203 -.9302294276773806
   .5257796681553355 -.48705607779214166 .8858740351696894))
 (-1
  (5.6173133030735345e-2 .7081592363633207 .6357816067009485
   -.5615304628870572    -.435251664178506 -.8641848725548303
   -.8303685153722397))
 (1
  (.6748106629527297   .9080716314586714  -.5892165750139586 -.557039511805679
   -.24146476485936996 -.9565237243153664 -.4426132783324147))
 (1
  (-.7499108600312738 -.17283541100662603 -.14181268022141036
   .6044419193692061  .5458077722529506   -3.0697974644948278e-2
   .6534088771480704))
 (1
  (.589232382352036   -.8354745323717065 .5528383668894394 .14623018115087194
   -.6266299416621098 .5911136995897555  -.911338190444906))
 (1
  (-.6757453713516535 .7018315714106798  -.9667725772210077 .09418762183537188
   -.8594314207549107 -.8673733485249958 .607002468787835))
 (1
  (-.9348198058256179 5.1341057581991256e-2 -.38740907445015516
   -.7709118204318357 .47603719946466994    .4435223571997162
   .14046495447455087))
 (1
  (.7033583467166851 .10835233413189682    .8446791300604575 .5104485739842624
   .9349005212249473 2.6365363302600198e-2 .9528466821099244))
 (1
  (-.8453768559794138 -.9729790920077114 -.874844208679679 -.3165958036163308
   .6976080905851072  .37409141633437404 .5635261926375401))
 (1
  (.5077934725067967 -.1987480828523963 .7854263360908096  .37090085932391337
   .8715952796298023 .8977145849467658  -.8288370708805008))
 (-1
  (-.9500505308970466  .519119951779861    .6801536619665027  .9576102070948227
   -.21132965992592467 -.34700469503528986 -.6382670174798312))
 (1
  (-.934038666000169  .7027662788782807  -.5766757800903588 -.34982322639532293
   -.3965795312502649 .23352283708928478 .43089954069687475))
 (1
  (.9007910037189617 -.26392827702677846 -.26591472149118167 -.2416900662259316
   .6425071000616382 -.5783226149835654  -.2723594285458786))
 (1
  (-.09051548583725877 .8157616050631757  -.4281986721653942 -.8870689234312961
   .2782217656241517   -.2819052167258984 .33536761875190724))
 (-1
  (-.8868853481100935 .5481431348576946 -.6036966880826473 -.47497901818130517
   .9200162719004046  .5359147465041778 -.9431918756374995))
 (-1
  (-.6627351893842397     .2282782500007634  .9328333608955532
   -2.7116402316741173e-2 -.7283937597279364 -.44991789507902913
   -.17007401349264428))
 (1
  (-.2616784149567578 .7658121354945611 .05268137558908359 -.5672225858634601
   .3206115580636677  .9294244432000263 -.3176276866784642))
 (1
  (.7513816693697377 .48218180039220226  -.3064629669609281  -.8983032380909464
   .2698394982957275 -.06750572271121869 -.17671471319244558))
 (-1
  (-.09363473054677562 .3274872462818017 .1967616379223318
   -.7612016812912208  .5132963060323339 -.09242499514066727
   -.5917513985090789))
 (1
  (-.9893189864108792 -.14367237913384145 .23691977006024656 .860976086301934
   .20768048149496376 -.3487973228897868  .9642775300474342))
 (1
  (-.5839859493821695 .36906714803663454    .1453938977157161 .705393449991701
   -.2551814839886286 1.2478004922715558e-2 .2873705403033766))
 (1
  (-.15044285490927622 -9.777564799619776e-3 .9684833874559069
   -.6940350421867741  -.45958729165092493   -.36403123587839215
   .858166496104289))
 (1
  (.18075502708176505  -.8819939646427449  .4711076345656855
   -.19170528928714958 -.22509693310723744 .3305911190465456
   -.9651469136182532))
 (1
  (.7336417368306334     .6176854782012355   .6632120973235136
   1.1856416952629178e-2 -.35687824636334353 .742638506626988
   -.6451237369854046))
 (1
  (-.9737281417168306 -.9161428342528442 -.3590038592915561  .10920331989089416
   -.6983856108253654 .12267245808927396 -.04940850875504377))
 (1
  (-.22749357440915607 -.8926749782318657 -.38521998676613434 .5713749401869426
   -.08607301940917156 -.8770893629140795 .3836504088058723))
 (1
  (.769364206783199   .20167142758340506  -.705855051178782
   .8664625187712518  -.06227169635504448 -2.1800098500447396e-3
   .34239825762621856))
 (-1
  (-.26109868248586854 .23430002019077079 .6507737050424023  .14071993196932597
   .9956494313614086   -.4177402502598011 -.6853772733423129))
 (1
  (-.08566007097910633 -.07343000531363064 -.5032260221233895
   -.8997326943787428  -.8943677305876833  .348007570193158
   -.9469407102406732))
 (1
  (.734511119935791  .4680296902871106  -.32354052938001754 -.7967495790179232
   .9258718866923263 -.6453017639523626 .5997597509992305))
 (1
  (-.6159749455004639  .20802816190760143 .5669165392952464  -.5002762087391179
   -.11355388852948545 -.719354639900097  .19195026810275184))
 (1
  (.9637484377759373   -.8459364309044746 -.6105510443571851 .48548729192173035
   -.46574267077462594 -.5659194108633318 .9301486526734064))
 (-1
  (-.6491392893357427 .6986654830382502 .4747880425709161  .9091054721608589
   -.9405906325445867 .4169699324026819 -.3980602396163859))
 (1
  (4.1626796873317495e-2 -.53087315560653  -.6673834813611855
   -.15104991424718162   .7457261790355274 -.7150040712615057
   -.39030948163744705))
 (1
  (.649125710652589       .23972363960897036 .46287896095644565
   -1.1286685954880249e-2 -.5660099763958831 -.6715516802756485
   -.41785891751975157))
 (-1
  (-.7021985795607308 .9641543631024594  -.9932416477161945 .23264600107521516
   .8561589460076753  .49109804571035554 -.7527584761296847))
 (1
  (.441867045874087   -.9148982105717275 .12458835626555187 .28203354645757184
   .24600238730898405 .3985498172679798  -.6709548417373501))
 (-1
  (-.5428245579158242  .27597520183303303  .3088153918609202
   -.40073564206335655 -.05149726878327465 .7941909904989775
   -.8519395071220811))
 (1
  (-.6323472322341372 .6132936519725407 -.6919071312201059 .7578579580386378
   .9470534738468164  .431688677789281  -.1697284085323666))
 (1
  (-.16007271497518838    4.3474992554954905e-2 -.3445384881279181
   -5.0582972181242636e-2 -.6029476989094956    .6528236382324524
   -.9559507709415056))
 (1
  (.8474849232559616 .6268494911804441 -.9309082482137114 .13638539651453652
   .9597894171716057 .3602009664291992 .819612172687906))
 (1
  (.7855116852856145  .31549223106761026 -.6560614943225653 .7510996057548323
   -.2855925276940602 .5755297313159444  .33917354575727776))
 (1
  (-.40731423931116495 .6016079466808679 -.4296402780218519 .8248286710875443
   .11501875463293265  -.593178749542193 -.3545005882094854))
 (1
  (.5184397649933115  .16967404863060698 -.20688345051240575 .8275700046536163
   .36052505923496225 -.588301764787526  -.9745788178110715))
 (1
  (.6374511924076955 -.05216053716391389 -.26935514629510593
   .4430067365092769 -.04345048619835923 .628476257003467
   .9074848675023355))
 (1
  (.7624141692212016     -.23831933880960487 .5268847294231931
   .16936715921546242    -.8343982731858248  -.9902310510983586
   -7.324226441937753e-3))
 (1
  (.474390535469156   .3221891249089841  .16626705830715016  .7584782528673277
   -.7758603377452357 -.5480911824247929 -.33477978470593195))
 (1
  (.8178390192541283 .1623277770848104   .4151526226372837 .09906823036618095
   .2054499080468084 -.08593121530247294 -.668044863813609))
 (1
  (-.5767593765360761 -.8310050999641012  .9252767827423252  -.4009925632283471
   -.6592269447390304 -.10524980573129117 -.4141454768997448))
 (-1
  (-.17110887678702003    .8037493594500111  .9965930096765434
   -3.4638297085927694e-2 -.6034303428645134 .09138375834024481
   -.746478019918406))
 (1
  (.7924178365995385 .5248765846771148 -.5326868401988023 -.6315766238043744
   .7624431710718702 .9575192704302251 -.2965211212827371))
 (1
  (-.484244244504073   -.5934192691853029 .16359612108626886
   .07212270688279854  .17140589604550738 -.27085153254546634
   -.42391442626704745))
 (1
  (.8362153496549178  -.6706411760191446 -.3255961156981021 .7990946441412607
   -.3619085957318412 -.1327559043801808 .8016131625063871))
 (1
  (.12719762083980912  .7070375649573253  .304985382250726  -.04672924644165821
   -.33662505929431075 -.2479306380822447 .7894100940197357))
 (1
  (-.8161993811561253 .9833401073507733   -5.3987794152912105e-3
   .14684592414047337 -.42760154072614565 -.6116245882720972
   .6813353794642438))
 (1
  (.25036082608900134 .500467700302214   -.12934547561377463 .8025016339990563
   .6727297013540865  -.5293255615156675 -.2897705958338578))
 (1
  (-.12632435970744627 .9146197278921255  .7801087975736112
   -.5140424062428559  -.7050484359555975 -1.0373809619776186e-2
   .8318908231238495))
 (1
  (.4803217401266118 .46758435185484637 -.41197951069564964 .9832498025885432
   .5002757519253946 .21696951568239542 -.04781308799028994))
 (1
  (-.3257247481096126 .6642523506472962 -.4587042995946299 .12809774923149697
   .8736350567471645  .8325830337505125 .8429853080806617))
 (1
  (.0720624777861667  -.21257789294768348 -.9269287678493755 .180972211040757
   .34168081048606047 -.6737487503254656  .07982146074043284))
 (1
  (.690911646106876    .2837837325453103  -.395319618046423
   -.01135141799616557 -.6465701722150787 -.35542894359145893
   -.4361885001838539))
 (1
  (-7.060127573856323e-3 -.5861084759073664 4.0828000103156015e-2
   -.7425567751547284    -.9288665772518918 -.840146667603574
   .3723108695963291))
 (-1
  (-.6381669268456368  .9137464662941015  -.8415484962071624 .4008634134671458
   -.14427678327108362 -.9687003143698679 -.9098047301054522))
 (1
  (.8590208225173652  .8034619919530372  .13709603009873073 -.5993719077661772
   -.6298199752692831 .14429530401748525 .34684198413375067))))

(define C3N
'((1
  (-.3104871391673656 .18825766675669886 -.11541683216977028 -.8236850949745684
   .7417889867697249  -.6557857511283198 .6354735442850199))
 (-1
  (-.6726941062052433  .09238297759134206 .24464648268726474 -.7053438905921577
   -.26052081917938874 -.7212821386303778 -.5620353444968762))
 (1
  (-.789739562885067  -.28962680288779874 -.17601766527632445
   -.3155575223681022 -.6262035710110836  9.691682422640291e-3
   -.7359913076925921))
 (1
  (.8875348138244996   .17216952514388772 -.21725259257626328
   -.3735688875587295  -.5154646112530779 -.05542974762552155
   -.23639162494380916))
 (1
  (.9201948027128759  -.9702679356213985 .8747313840719073  -.9640122660948106
   .20195463625941734 -.6487236368105789 -.6263115802154778))
 (1
  (.9964634077582315  -.837486691118086   -.8664610235328565 .568493232559987
   .14174635235889155 -.12425668761629693 .8456461153058872))
 (1
  (.13416354862759294 -.517343336154408  .5944897402013765  .7418479446110409
   -.6917795167441707 .20278126560475362 -.5806058738154893))
 (-1
  (-.7152787420378052 .7024261705838448 -.21765159398509604 -.20865874878207546
   -.0927014736140862 .6117971823688098 -.9050294415851001))
 (1
  (.5584987517894464  .9522528713013196   .42316577935494215 -.2554891021636886
   -.5426961252730063 -.49805311660521323 -.1640455671167531))
 (1
  (-.1298451441454761 -.4048781499789075 -.5776797849425113 -.04089946327835725
   .6817893708145588  -.2817541236078298 .47482387334437104))
 (1
  (.5211128824403426   .7822313678709689  -.24738365882935898
   -.08339013285398267 -.1286892075192756 -.5901574543562689
   .7436941952254787))
 (1
  (.18481033153926285 .9557894635430879 .2606524704730284 -.3890280790964934
   -.1111893582986544 .3602005305702338 .9602111200338825))
 (-1
  (2.4508740082975322e-2 .4609583009278382  .9396635507462354  .364610796054605
   .939941426203518      -.5899746068636591 -.7279573922603826))
 (1
  (.10171875625583193 .4975101094431129 .0501901705867962 -.8657385388688865
   -.9200304592028615 .5025440192578174 -.868102987143331))
 (1
  (.08983977312436298 -.6027092887120197  .3083995987060475  .18780614154856434
   -.8557002561349658 -.09710334415675992 .45826423663909566))
 (1
  (-.8114456928002715     -.4091965549266857     .344541700725143
   -5.7709419002883844e-2 -1.9159110983786087e-2 -.2717639781438792
   .5537967308817859))
 (1
  (.6268948824457998  .9763972265371088   .267958802250166  .38164511949481117
   .16335967365112114 -.36876677368856825 .7220544667472766))
 (-1
  (.34614557743322294 .21248037928305608 .3526101346972983  .9271536706098746
   .5333278229615277  -.9859139858581055 -.9019362943967995))
 (-1
  (-.7716568132998152   .5662947045246776 .8835833993316435
   2.627029785219337e-3 .6162300924959476 -.21170540434739715
   .14377133774544504))
 (1
  (.3548522747061824  -.1253215301843843 .7704486928070531  -.6685450510919851
   .02909821252000766 -.4487363144857067 -.7804895525105409))
 (1
  (.21424856457655395  -.8773593938413069 -.04468057659068214
   -.38124592809617275 -.6544783190526979 .8697862698111989
   .19516704929429918))
 (-1
  (-.22992104993891094 .37774039732494913 .29277995379266786 .6580853290600763
   -.3260604889668297  .8074537066363889  -.584464684576337))
 (1
  (.8010555433587352 .2477835869041547  .794051465804283  .06349614619218769
   .6474530925595354 .38790401139751074 .5882772207123661))
 (1
  (.4921940973636161  -.22350497174019102 .7428390436606005 .2661439367408678
   -.5816319896625728 -.6635415531503288  .1810810351524048))
 (1
  (-.3279847555421115 .149397210159103   .726485248802329  .7745019292627717
   .671312481247951   -.8087763863252201 .6272407197710601))
 (-1
  (-.34271579485237114 .8929313121979723  -.080627004476994  .2930474533851346
   .31599814365152046  -.6411942011224969 .03701353519807293))
 (1
  (.27268364940849565 .5622464636832551 .6201984375019074  -.6891754871341115
   .7996139379679388  .9909367654367081 .31129476487554464))
 (1
  (.47684819516358923 -.6206817399019862 -.65125514852262  -.5182780245298962
   -.9867728482777868 .5172841021759482  .8197870131346712))
 (1
  (-.758251110276034  -.9081242316264243  .6715894081531901 .4989959875808516
   -.7474980030063283 -.28864729414769363 .6491095233349007))
 (1
  (.6844064286961296 -.9299476336803609 -.15629659122356288 -.43201453079471197
   -.466529998772929 .5725687550992806  -.02516368197412655))
 (1
  (-.7042328404544769 .7073030151744641 .1993476408526158 -.24476327379788654
   -.7612747780062197 .8459716209279975 .6285633989942299))
 (1
  (-.3854918305127554  .43459156276028543     .7786580959552178
   -.42037700840781556 -4.0545456857124185e-2 .3953545622007859
   .2903037244573978))
 (1
  (-.35260710696760456    -.20263128355451776 .2814569446275208
   -5.2212968296619366e-2 -.7773545121044788  .7729548166656806
   -1.6100447876495783e-2))
 (1
  (-1.5527605330021621e-2 -.7695451799891251 -.17997061924539814
   -.5935081257409278     .7570032465236765  .8327444692057842
   -.8887207036473797))
 (-1
  (-.20527884364742655 .19284267303631952 .6867823271159808
   -.09196641702666697 .4604585555620242  .1428525652071142
   -.42104898186056994))
 (1
  (-1.7166307681666382e-3 .1129622877493528 .21140457830788173
   -.8959163775387178     .6546600186902332 .23948481497294827
   .4113307970242235))
 (-1
  (-.9903639238215562 .9346876599996905     .11272636511447653
   .20714423340645638 1.7665203215631031e-3 .5940192467463428
   -.7346923250410384))
 (1
  (.16615775735834348  -.4216654964509251 -.747809236109966  .1293754870181152
   -.11916443603016025 -.8166019784014229 .18359645547298298))
 (1
  (.7079796447744355   -.5344306052830426 -.5859641386032619
   -.17737332216623858 -.2931270130131476 1.6839326611765904e-2
   .6383759798928816))
 (1
  (2.5736524054939647e-2 -.04978473467028788 -.11772845489639838
   -.6128851473481454    -.4047253544031705  .8370159997570048
   -.5674367942468226))
 (-1
  (5.4878460540061846e-2 .7836133467308402 .05934809038805322
   .44259315943647315    .9728019805308454 -.2770605339634471
   -.9592561097341311))
 (1
  (.1290286261693443 .4672860250194628  .30107357318172423 .6112220995258797
   -.397210635940091 .36217930792153274 -.601108835545728))
 (1
  (.6144057270307159  -.05942081131439281 -.05241611536175028 .2743884870717168
   .38813041219037303 -.16475052103021937 -.16145604099316524))
 (1
  (-.21042921441889972 -.38254441062750344 -.5189864131610217
   .19040239554643912  -.15657350695293104 .8421039016010519
   .8573458682016306))
 (1
  (.9454321702306998 .7593063802450271   -.16449582153523323 .1971862376634803
   .7801626862261475 -.34469367953098107 .3820518373768449))
 (1
  (.9760297466721732     .9148426641650063     .9973686193085376
   -.6078830580318848    1.0155595385183958e-3 -.7600251670927103
   1.5279592498298467e-3))
 (1
  (-.6429924206377384 .5625771283667733 -.3025997598918617 -.8689456953072754
   .4008333331449345  .8693019210702064 .1344064021650777))
 (1
  (.904688279964831   -.3697222463899784 .3682181529796429  .8961126644817561
   -.8310594132997322 -.9474830435908901 -.9801274705446877))
 (1
  (.5771385822179012  -.6995630628657097 5.6789430157269116e-2
   .4445330568642041  .7266270720011405  -.14815557928308332
   -.8337215201856121))
 (1
  (.5184636203554269  -.22699365721432685 -.9200553497300197
   .6500407178537462  -.7895690624015046  2.5875427557476183e-2
   .29230250056402585))
 (1
  (-.9526575887024608 -.3151544170863396     .6089117727346156
   .06060848555132803 -2.8245651428873697e-2 -.7276457302826989
   .3645662089862933))
 (1
  (-.8049132556246049 -.6755928100035442 .14194676552660157 .4471644375556665
   .3345101295673638  .850828860712737   .9263036469070982))
 (1
  (-.48306433889440303    -.5840012370422497 -.482632478096793
   -4.7359522254391995e-2 -.9206233675598905 .6250420939468804
   .42300057902815813))
 (1
  (-.08706399133319964 -.21984269705117065 -2.1365981341067264e-2
   .6923903321060239   .07564168408937011  -.8965863169829668
   .3120492525771834))
 (1
  (-.8247857855455785 -.25273139222144547 -.15849017160768875
   -.6096249930672639 .8899770727031597   -.8757982112884035
   .07445922619018153))
 (-1
  (-.6493428191744522 -.10246485786333781 .7443611791175337  -.1273041729900336
   -.5706640854136367 .41461115634838497  -.6028748489949792))
 (1
  (.6206335081027745  -.2671851083487099 -.7062115642547276 -.9165214406285918
   -.9849668019276192 .13165933444590694 .03969498239422098))
 (1
  (-.1893519945318718 -.44781813659684055 -.4828973620698058 .2484282414061345
   -.5571873653181681 -.21030834132142873 .22363036501178324))
 (1
  (-.5756464660815503 -.6194005189689348 .32836241615978357 -.6446716953589018
   .4766954368407552  .33523452344261395 -.2279169429418595))
 (-1
  (-.8023670713910449 .8198788825188286  .5136311323307816   .10484454024681411
   -.6773571340336431 -.9439823496434632 -.06371870108847355))
 (1
  (.4985987528909448  -.6230323515169234  .7698340301516395  -.5930815869861766
   -.9475623727165656 -.10028541402458846 .09942857583452547))
 (1
  (.34989430772826813  -.9700576997944825 -.5691727264425399
   -.38903287447643564 -.3960003901692112 -.09410139160941056
   .35747190024409425))
 (1
  (.8005077776039342   -.8007546255839461 -.21918375932050838
   -.18894389549845814 -.7608356934050513 -.9590155481815054
   .8046219644656194))
 (-1
  (-.5410962299689374  .5663196430149484  .2176521662828188  .8898157746179678
   -.19599061412270025 -.5430980487064203 -.6902630828440458))
 (1
  (-.8737360577491764 .6055887662870678  -.9497722079392664 .2826047093637809
   -.7513286952759706 .42920317154983434 -.9777626231985197))
 (1
  (2.8424720545793702e-2 -.9983875546585623 -.03906264230499812
   .29742497170509874    .13431976588247307 .7183415858521378
   .7486043136434215))
 (1
  (.5226224711195362  -.9322791098759965 -.15931548220025782 -.8800182555336717
   -.6029090271365236 -.595535676455516  .41002233071488137))
 (1
  (2.6835366416298134e-2 -.7443055414412003 -.9797145081447839
   -.14822256465934047   .637704179200465   -.17479643874661588
   .11633876794522946))
 (1
  (.6709528198360382  -.7988953322624966 -.23830801672105217 -.4833912689743928
   -.6767363386190687 .4791772792571891  .7076198613592655))
 (1
  (.7180005061882553  .6088171196272796 .2743648743191325   -.09767042228215195
   -.4927248022201527 .6004549376671842 -.04687962057869832))
 (1
  (-.28290155073965617 -.8705694841576851 -.5853032744318518
   -.19845035672007405 -.6449005301633157 -.4234677439363065
   .6871355963953951))
 (1
  (.6487154425688966  .17267994719170954 -.23992046252815102 .5556713728649441
   .02583868967583247 -.6551424870909454 .9892782750414664))
 (1
  (.969396192544834  -.9138053514922566 .20664398419512908  -.9383549400818941
   -.612706546686481 .20336396480370778 -.45134394458884364))
 (1
  (.3070761180798012   .10259514942601689 -.8409977329906515
   -.21873584904095145 .5033220340303635  -6.1171923136771555e-2
   -.138067964857989))
 (1
  (-.4676233258419942  .5017271273556714   -.4410251302656545
   -.20602061041400377 -.49077004134977475 -.9784061484718767
   -.48989900421572263))
 (1
  (-.7382236692800928 -.6318058581461732 .5978268641021882   -.2127198148666879
   .4849638755956709  -.3039112334418008 -.05179888225602791))
 (1
  (-.6460442613415004 -.6145032998343269  -.9704282488329665 -.6334325746090996
   -.2982276092495625 -.41627139297345583 -.7146002213873437))
 (-1
  (-.1547589227030507 .8530116843211135   .386294922542636
   -.9661001483515139 -.04644141468038021 -4.244838147709151e-3
   -.8347565175904386))
 (1
  (-.7275019447872205 -.6012020506910072 .5116322151287833 .5806362009381831
   .42331881567756513 -.6912046872209812 .7448371524746031))
 (1
  (.8052996827816821 .0784205816202106  -.07302339825898341 -.7924348420841094
   .9205082393257276 .08040657253051942 .3465717012837666))
 (1
  (.9833090421549382  .3206350096974464  .8845677947213033  .47492498191414056
   -.8404208042663764 -.5134747967979345 -.8563503695842232))
 (1
  (.7623970594285021  -.8629783814109144  .14343807280929544 .9828093368359949
   -.3639613699214084 -.17616856281665216 .04874838591640396))
 (1
  (-.14290143496229013 -.2755351570382891 -.45852009842465646
   -.8220065932511429  .5539408139348272  -.6213658182199181
   -.2371569057427776))
 (1
  (.6979092635422821  -.524606067599503 -.9684438895998102 -.9113699406284954
   -.8743206563805237 .5329666174167844 .14789446856348598))
 (1
  (.5971535765532796   .864523563376306      -.2553598764996974
   -.5288228787584497  5.5402428674747206e-2 .4005126215057828
   -.26004692732827617))
 (1
  (.11226141209744545 -.08083484028563237 .46305931948947165 .2510168050078405
   .3463756555532753  -.5418740580113071  .682436521726703))
 (1
  (-.6486624382071458  -.5079151102201025 -.2890788997629179 -.79593773581546
   -.34924563829466426 .37338742168316075 -.3386307346385796))
 (1
  (.4535039461375028  -.8978734960521961 -.39238149555444424 .3277390479665936
   .07259309183875229 -.2355260090384702 .9161216354883761))
 (1
  (-.9364869738189585 -.9379334053233422  -.2614055234722392 -.290463096567503
   .16838224833875692 -.09581487194613425 .3038023394809597))
 (1
  (.5884944670699706   -.2058243737623845 -.764472832163415  -.8274938462156498
   -.43787569766616874 .24770807759802338 .12840264794463607))
 (1
  (-.6943905228916445 -.4950270730711369 -.25690505893075033 -.4169010755337089
   -.3985840298684593 .7090715622867825  -.484390986483068))
 (1
  (.32355995304365637  -.05019481788644897 .819429316347732
   .24647758347736382  .9173654428652551   .5578094725005904
   -.15432360297339454))
 (1
  (.9060579453432676  -.5571619360208999  .7434422775910263 .4615850535472681
   -.6419379618507088 -.40304628457297376 .7550152257958138))
 (1
  (.6442402112812737 .05146898079136042 -.3590315633442155 .9754804195550741
   .2736769221649469 -.3635215300176311 .751135022089741))
 (1
  (.40743831755528026 -.11370784406749046 .7573627216710741 -.49211689305039696
   .20782853943275814 -.6105727763038278  .9414912689727397))
 (1
  (-.3977443946033534  -.14565640309087047 -5.0733348646589294e-2
   .22605788571068297  -.814444115635059   -.9651705869068049
   -.49269285180220945))
 (1
  (-.48416243666336223 -.2541404963169951 -.8640044902730786 .23238547848582436
   -.3094220023013442  -.9649375001491717 -.9579365401970416))
 (1
  (-.10817069642731303 .5627322028888531  -.1924424609081382 -.3115462098637901
   .961350955489733    -.5279382191690829 -.6163182039935121))
 (1
  (.7565792079043798 -5.1714348434138024e-2 -.49357141309135055
   .4826156076539956 -.2760291696479884     .6767673744782425
   .910353432305103))
 (1
  (-.23917766292483744 .10161929193606989 .08452652893556101
   -.40858295863562144 -.2849024223220795 -.23861442277977996
   .40558498935492815))))

(define C4N
'((-1
  (-.17713979582434958 .8513032242787342  .1586964088011258  .8567240306370938
   -.6758892513763732  .27930783396506187 -.8523398305433102))
 (1
  (.33453038676470803 -.24030344612000443 .2016762527656697  .7838967211822707
   -.9262386694623141 .7089679340237844   -.5406055365928979))
 (1
  (.049578782461559   .45797569893530543  -.6978192563376148  .7809820056205872
   -.6991614570132939 -.08824636448203393 -.03251508138202486))
 (1
  (-.06815517166181839   .5773925180283754  .0431712589263582
   -.4571224030306591    .40710549546301533 .3822787583133658
   -8.318257760627001e-3))
 (1
  (-.8740306015522575 -.6042607883041036 .468160260780901  -.5849874042731098
   .3821781307717065  .9027108637414767  .1322439200387382))
 (1
  (.19719097856105194  .3410126023704798 -.791115020624263   .7433567421317062
   -.42974203339515027 .8896183905769353 -.10093356657416275))
 (1
  (.6683178749730785 -.24546768661293628 .19186803418196274 .38418118770255383
   .5503814648259215 .05816800922407772  .7123739078086497))
 (1
  (.9783092285253914 .06120882493118862 -.29153629356475586 .21333634249555922
   .5982814095894358 .8289495327381295  .42327598601495375))
 (1
  (-.26220348484605027 -.7085661805567404 -.2490907195595684 .4411759980036598
   -.21072403901573744 .588779847124568   .9873127979078713))
 (-1
  (-.29916704411055783 .8226874845832208 .6144755161535873 -.6589900712238044
   .00750386739091935  .6510625137610624 -.669904850504716))
 (1
  (-1.3372513713981626e-2 -.06476057351655395 -.6872755057263136
   .7451760817146582      .18326881386254534  -.5532285984992382
   .5205651218078158))
 (1
  (.6055525946495504  .09424284041654651 .4098966780699518  .2322910181622615
   .04591921885255634 .01852188051971826 -.9023055931347255))
 (1
  (.801766522463605  -.8456303903898578 -.1400567976991376 .1491418941285716
   .6233226796883655 -.8993189515305205 .27192713980554495))
 (1
  (.27425357801170747 -4.3069802507606614e-2 .2515156693424978
   .03671237481375278 .9699324709013251      -.15151000855433527
   .6916155890696865))
 (1
  (-.8177233913654035 -.6435536747374033 .11846285862669226  -.5186182627438314
   .6047432208488965  -.7707540809302056 -.49108544072495475))
 (1
  (.8144537240900724 .45353665325503867 .03725571725198029 .5346663779749843
   .2823127504465086 .09317718061289892 .6208646260444828))
 (1
  (-.05584157194923789 .9703027112063751 -.6837237571409481 -.27601211945993376
   -.7752436112789944  .6652211775831194 .2448441871032634))
 (1
  (-.3382885136388807 -.24910626938695357 -.9757799822555157 .07148505918621684
   -.6275477977790263 .18332669975157678  .490392678755327))
 (1
  (.7167593167591366  .6517701307914339 -.11711389235816183 -.32527682432587823
   -.8668291441477243 .4698545009245334 .5201835771093419))
 (1
  (.672231288245217  -.30395086727099363 .3593460449009971  .47247221073190704
   .1880440134415915 .6952887066817943   -.6036458048080627))
 (1
  (-2.9904102708567026e-2 -.43138287848721124 .6677736920162263
   .9530222000938633      .8910704644991441   .5785834789026802
   .2611467596855326))
 (-1
  (.20784475701843008  .8373164062356999  .4293494539211382 .6374674579564801
   -.40149552212270856 -.8124582495219752 -.572993603503557))
 (-1
  (-.948633338264927  .7518907042125831 .3890433336946222  .15619596787285528
   -.5359438670984747 .4705323174951275 -.2688669828568434))
 (1
  (.7252517097225084   .9069056351516693 -.08312003859682016 .9288021823493788
   -.18041459468707277 .2061312766817065 -.9221799405317055))
 (1
  (.7174520782631031 -.8794429109890979 .7775793231297043   -.24541865015101927
   .9237813022031698 -.9456291058399122 -.04284810489375157))
 (1
  (-.46881691537426895 -.920340584032634     -.3070057995000456
   .7968499225061969   -8.416077830381785e-3 -.7175116964121253
   .03584431046136216))
 (1
  (.32889751453057103 -.06319026213976353 -.6517371601096089
   -.7389715101325087 -.13343679524659735 .31506081171690115
   -.5007634194343856))
 (-1
  (-.5436946818880908  -.08728766847318936 .9402629164283431
   .32523189592784263  -.7136861562189718  .45586641628279634
   -.23038985537177636))
 (1
  (-.895823311870712 -.9717072462333683 -.05889650371262867 -.5921934116540866
   .8353879538311018 .8184321702206883  .5653119929662347))
 (1
  (-.40223550307824685 .21155802767206677 -.5586427957269395 .34414852799865003
   -.0622389775959763  -.5045245940616874 .293105303883908))
 (-1
  (-.6215147418220466 .19526025326370755 .8197058269517796   .547652572332477
   .5317324934663863  .5320851140796266  -.28476074999752543))
 (1
  (.14702479255737821 .4971096691409005   -.13855592014565588 .7148123878459591
   -.961461968675095  -.17315175194893007 .2828236889126987))
 (1
  (.5619201859947296      .8826605126758345   .504547466412824
   -4.1143118917410515e-3 -.32326746792912886 .6289122007192487
   .9780444917013456))
 (1
  (.8792486776123389  -.26104506484820167 -.0930065050406923 .6073896559041339
   -.7934994024614563 .24577126983293707  .25937283371967834))
 (1
  (-.6225853520708453 .39293298101161245 -.16684867391228753
   -.2262911089070736 .6307314425133301  -8.539706245693002e-3
   .46439151822634916))
 (1
  (.9966081930284949 .2848960157540814 -.7070105612592429 -.4454715166304627
   .332584004072221  -.308848821684775 .4825690857630329))
 (1
  (-.41385662627156894 -.6395303234918164 .7117332412299389 .7876838284866929
   -.3411519752595946  .7140387759008897  .7272877191743903))
 (1
  (.66217539792668     -.754091812011427 .3360416564811506
   .912264810772921    .9159190546673712 -4.7077737570597966e-2
   -.36245672982472077))
 (1
  (-.286215496349865 .7229758292936905  -.5896710744007387 .0499810169567132
   -.663301684036038 -.9855813542213074 .8536568845781229))
 (1
  (-.3919011184385758  -.5187790011041553 -.02722169392185947
   -.11930966693827616 .05145836883627153 .507538178362346
   -.5184835506585468))
 (-1
  (-.5971974362586595 .868493539593757  .9431086754695381 .07911348468520862
   .14221016310878354 .3221908194504106 .6460829759553111))
 (1
  (.24939298495812445 .7263676357995341   .12543290984518007 -.2430084222497051
   .7821698321287636  -.31816535829352843 .16250570579723655))
 (1
  (.12552979533273012 .8950776251674137   -.3876913708957045  .1689570913661238
   .2637745403495786  -.15130984684372073 -.23252232702509767))
 (1
  (-.3244851554330498 -.793681858332923 .6972004870153037  .7430718277383965
   .22994535187020126 .4062717647830394 -.3068392864740911))
 (1
  (-.38815028521715467 1.2583131683737925e-2 .40245708055148954
   -.6533373478489664  -.26781118482794986   -.6548636742574905
   .1480870595528827))
 (1
  (.2718729107546072  .2869787436059894 -.8689123697915491 -.8038212147120167
   -.6169157931778065 .7972317838543466 .2599394946125564))
 (-1
  (-.8060016052401644 .8035155774600753  .8287069469558854 .7999631522688586
   -.8491681328150072 -.7359383987914054 .3709698936098371))
 (-1
  (-.0342332616381269 .763190146259952   .6760894442862941 .22122974184019228
   .975197236956094   -.4370335063862538 -.533747582153589))
 (1
  (-.8906327950426294 -.8385510521924019  -.7639899954246241 .5838701557180264
   .21412711545606977 -.46654275649523214 -.5887506590093843))
 (1
  (.4265207217849334  .12800073289312497 .6223888052888085 -.8972373352121065
   -.5922399610190652 .03411624887273201 .9646981288267977))
 (-1
  (-.7273939751640357 .15134043147710674 -.3364936878631051 .8187726612887027
   .628534584339399   .830777678441696   -.8788839083617599))
 (1
  (-.03871985506117326 -.11042396341267036 -.0509687390306135
   .45278252550957543  .0179483301680865   -.8496269637830869
   -.38598244286373073))
 (1
  (-.8334187728276229 -.06599766233237192 .8188732273630719 -.7259442826336533
   -.3922031132879238 -.11671561831226063 .7006365271525417))
 (1
  (-.09836386877387282 -.8144263073504278 -.09968383412305715
   -.8573167829975914  -.5926951579664544 .8555804410199408
   .5581495980244939))
 (-1
  (-.5049722729075843 -.21979116837004098 -.2124176868382116 .21677252046853823
   .43407817398439885 -.06375407923915666 -.9194396868341599))
 (1
  (.7553318857161      .5074816158826947  -.3091275059957145
   -.34833308792246165 -.4949657780758172 -.5244756572931955
   -.33347972218585165))
 (1
  (-.06306199806633173 .9129676673479468  .7489757339341749 .4791769043998524
   -.4114678192551572  -.7729541437851197 .7273719195827981))
 (-1
  (-.6260883650114857 .818928686225471  .8980062765744588 -.7322587409665096
   .9812956480091619  .9182975901270956 .930187276948927))
 (1
  (.14131432857983084 .3409003882446564 .756870155870996  -.16720631528553354
   -.7690214959078253 .867727455529067  .7832358956607477))
 (1
  (.2363014747811265   1.1331536121819585e-2 .5634020412846026
   -.42113926147709047 -.5541510367232271    .8197410137156735
   .871791478097196))
 (1
  (-.18423796303597972   .3239009591330553   .11779744447883855
   .48015894587170216    -.23547687245937632 -.5157805838573033
   -6.058643811916231e-3))
 (1
  (.06075401494832944 .5855685025285562  -.7506114600116987 -.8580788097554803
   .5793115920146363  .36269323360488426 .30771155295394315))
 (1
  (-.43021880303302173 -.92560646627751  .6504343734709945 -.1701149958769267
   -.03332794112307946 .2312088329708306 .6447456214166545))
 (1
  (.08839011738122227 -.05001067632112033 .2988687577877063  .5821526692972434
   -.503218131958528  -.4970762323321265  .07564376559532682))
 (1
  (.13056673799940244 -.5557458265169359 -.09151184872201623 -.6149489656264766
   -.25348209269983   .1317147290470484  .4399840969592148))
 (1
  (-.21345469915943072 -.1619079410586366 -.36089716311648623 .2664829628384706
   -.612188679645989   -.2146401307716036 .8250046072353197))
 (1
  (.21659863928402623 -.8657727137508019    .974967798654651
   -.5356447756472564 1.6622921704108506e-2 .7384006401272498
   -.4085756505473699))
 (-1
  (-.8633746186543426  .38350015806907334 .32291964874942747 -.864337505614778
   -.39540328341001096 .5524031370324118  -.9227091371113307))
 (1
  (.47883374788662625 -.7316891380256147 -.43529069730463754 .6160485889018148
   .5579263157652765  .8186878103514759  -.40620422620117225))
 (1
  (.5718530174017105 .04583716886797595 2.4978474510110038e-2 .165486466099376
   .4344702524068651 .24161877208577787 -.9114994186809047))
 (1
  (.06098161575033045  -.747066579930329  -.121334525199298
   .22717434310723839  -.7804543177835345 -.19411477073341932
   -.05442386615837913))
 (1
  (-.9611503495382498     .48176556066815457 .726617243753999
   -2.3054247981698972e-2 -.7085566470731942 .4308764895318036
   .80843590410477))
 (1
  (.7468484097007295  .8292385295839497      -.10924881220474936
   .190518667444725   -2.9884971945878358e-2 -.7750041500839919
   -.6499000588081545))
 (1
  (-.5304427337022996 -.8836919617416477 .49516531626596727 .9042546943578109
   -.9161168121687565 -.7987114877890696 .39317299634354774))
 (1
  (.9615587875730809  -.9970681872184717 .4583063817796138 -.5877635511427228
   -.3246052364406703 .8729501733008658  .9897480937532941))
 (1
  (.15305263590190177 -.742614488283422  .8449140189272748  -.8344598075310464
   .8046285614890845  -.2094744029565183 .10848116910606764))
 (1
  (-.6189433154870562    .05532642250802189  .24223189619629637
   2.5589219091447513e-2 -.14329115574165618 .9817428299944648
   -.41271223292303294))
 (-1
  (.01598265326579873 .9640821618541169 .976540820645798    -.31438079536238317
   .6984490115410287  .5815068203740599 -.44112839624417055))
 (1
  (.3446167313314703  -.4894628979841513 -.9843245111223363  .27478900467370293
   -.3858901064213017 .8204105689893599  -.11651468080994054))
 (1
  (-.9690432566789017  -.41423084378967856 .12592385747228274 .530423902359819
   -.04754585009946699 .8978596421632212   -.6140007455996246))
 (1
  (.622809656922251  -.9974766257189641 .9736090073986083  .22731282285800303
   .2862125626837515 -.093887943650931  -.3140785700106977))
 (-1
  (.35486863711251493 .3574844656482856  .7582899766954243  .42987498574642813
   -.5514302988902553 -.9842179924997245 -.9070402783190835))
 (1
  (-.07752442578496932 -.7952875283026224 -.9294025650357391
   -.7118079943021387  .9268649308090855  4.1150797439216236e-2
   -.5957435755940894))
 (1
  (.03552188937962275 -1.3459278984762846e-2 -.9904731549211698
   .2507720022122051  -.3994066424195266     .2076630443423788
   .1044146096152423))
 (1
  (-.20400296664331452 -.9871322656831847 .24775287467957585 .41419949640310305
   .17378069597038048  .401672113455916   -.7274508473084434))
 (-1
  (-.9610097449750288 -.826244272089382  .484828278288278    .16226814822557856
   -.6035589715507335 -.9113033529269781 -.49360321775731075))
 (1
  (-.35047736548641395 .36373106409298606 -.992996529667867  .27716299434793523
   .37328053425680907  .9214504816586273  -.8016974467338266))
 (-1
  (-.8899243970982782 -.3420009032613608  .8902684085656287  .6559095192420175
   .7439057102239524  -.04689758765382879 -.7432328552743803))
 (1
  (.9460305328783936  .2512801536955873  .28011580659090063 .09167071326131793
   -.8917509777142562 -.8381682842017248 .4652459848034731))
 (1
  (-.7547337898923245 -.671790825752298  2.0462749316895845e-2
   .26763614926910506 -.8774914679553959 .32085712361249263
   -.0093604915418668))
 (-1
  (5.6609928208182225e-3 .8620020633819536 .8774006742488134
   -.5918433554375584    -.670293786644812 .7793217159101293
   -.14490496873029624))
 (1
  (.6734813801868369   .21228989867061587 .10636007821462123 .6068424345073784
   -.05401912640549611 .7653906873490088  .3765493372647899))
 (1
  (.738869427399325    .6786865392684547 .6567316852239096  .2606326784713109
   -.15465446276899253 .9475765888900223 .06918902679950589))
 (1
  (-.1926415604453552  .7519264604802318  .21940157704451302 -.4821117644688484
   -.32620330588682944 -.9645839947794843 .9019926189235326))
 (1
  (.41671423499555593 .26625936532656125 .8550799245190339  -.6732733725491834
   .8543101603331862  .6571416650632649  .21471762146651474))
 (1
  (-.7263765574041481 .4334203291607792 .32852251097620755 -.7598300713112462
   .5777093879619024  .825068056379757  .7483319027213517))
 (1
  (.8167189310965115  -.2537345328062476 .3573995131968981  -.3595124387176619
   -.7343599509149323 .7057097918653277  -.8773290969865968))
 (1
  (-.43838079673980923 .5927779851397244  -.35720997461724324
   .22036654923619525  -.7525322741741923 -.2888392089969004
   .4493269336518446))
 (1
  (-.10292589513459927 .6945509012957929   .6498359712420916 -.4165617565351559
   -.6829232905094085  -.02027748131691187 .8007553138313295))
 (-1
  (-.25247009616865557 .9389070271734463 .605473052251005
   .42108598377216366  .7477518135539161 3.1913097752157116e-2
   -.9127451026727738))))