diff -r 694cad39a835 -r 0bf3453ac92b misc/44817-curve-original.dat --- 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