diff: misc/44817-curve-original.dat
misc/44817-curve-original.dat
- changeset 15
- 0bf3453ac92b
- parent 14
- 694cad39a835
- child 16
- 907430c10694
--- a/misc/44817-curve-original.dat Thu Dec 28 22:51:14 2017 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,6 +0,0 @@ -1 16 -7 -1 56 0 1 0 -8 0 0 0 0 -40 48\5-24edge.dat -1 16 -7 -1 56 0 1 0 -8 0 0 0 0 62 48\1-4edge.dat -1 16 -7 0 56 -2.5 0 0 0 0 -9 0 -1 0 1-4edge.dat -1 16 -7 0 56 -2.5 0 0 0 -1 0 0 0 -40 48\5-24edge.dat -1 16 -7 0 56 -2.5 0 0 0 -1 0 0 0 62 48\1-4edge.dat -4 16 -10 -1.25 118 -3 -1.25 118 -3 -1.25 74 -10 -1.25 74
