tests/output/ex7_1234.out

7     w:
10     w(v): 0.440064
14       u wedge w:
17       u wedge w(x): -0.385677
20     star w:
22     star star w:
30     w:
33     w(v): -0.710721
37       u wedge w:
40       u wedge w(x): 0.145303
48       L*w:
53     w:
57     w(v): -0.482541
61       u wedge w:
65       u wedge w(x): 0.352354
73       L*w:
77     (w int v_0):
81     star w:
83     star star w:
92     w:
95     w(v): -0.638887
99       u wedge w:
102       u wedge w(x): -0.621056
110       L*w:
117       L*w:
123     w:
127     w(v): -0.115601
131       u wedge w:
135       u wedge w(x): -0.0217066
141       u wedge w:
145       u wedge w(x): -0.450731
153       L*w:
160       L*w:
167       L*w:
174       L*w:
179     (w int v_0):
183     star w:
185     star star w:
190     w:
194     w(v): -0.104186
198       u wedge w:
202       u wedge w(x): 0.0585903
210       L*w:
215     (w int v_0):
219     star w:
221     star star w:
234     w:
237     w(v): -0.785273
241       u wedge w:
244       u wedge w(x): 0.326726
252       L*w:
260       L*w:
268       L*w:
275     w:
279     w(v): -0.348987
283       u wedge w:
287       u wedge w(x): -0.104147
294       u wedge w:
299       u wedge w(x): -0.288922
308       L*w:
315       L*w:
324       L*w:
333       L*w:
342       L*w:
351       L*w:
357     (w int v_0):
366     w:
371     w(v): -0.238478
375       u wedge w:
380       u wedge w(x): 0.122009
387       u wedge w:
392       u wedge w(x): 0.306565
401       L*w:
409       L*w:
418       L*w:
427       L*w:
436     (w int v_0):
441     star w:
443     star star w:
448     w:
453     w(v): 0.566604
457       u wedge w:
462       u wedge w(x): -0.0100078
471       L*w:
477     (w int v_0):
481     star w:
483     star star w:
514     w:
517     w(v): -0.743937
521       u wedge w:
524       u wedge w(x): -0.267043
532       L*w:
540       L*w:
549       L*w:
559       L*w:
567     w:
571     w(v): 0.878243
575       u wedge w:
579       u wedge w(x): -0.247262
588       u wedge w:
594       u wedge w(x): 0.0586624
606       L*w:
613       L*w:
622       L*w:
631       L*w:
642       L*w:
653       L*w:
666       L*w:
679       L*w:
686     (w int v_0):
698     w:
704     w(v): -0.847405
708       u wedge w:
714       u wedge w(x): -0.435001
727       u wedge w:
733       u wedge w(x): 0.377565
744       u wedge w:
751       u wedge w(x): -0.576003
762       L*w:
771       L*w:
783       L*w:
795       L*w:
812       L*w:
830       L*w:
846     (w int v_0):
854     star w:
857     star star w:
866     w:
872     w(v): -0.102079
876       u wedge w:
882       u wedge w(x): -0.26249
891       u wedge w:
898       u wedge w(x): -0.0636979
908       L*w:
917       L*w:
930       L*w:
943       L*w:
958     (w int v_0):
967     star w:
969     star star w:
974     w:
981     w(v): 0.0196566
985       u wedge w:
992       u wedge w(x): 0.179666
1003       L*w:
1010     (w int v_0):
1014     star w:
1016     star star w: