A new assertion

This commit is contained in:
Andreas Fabri 2023-07-25 09:08:52 +01:00
parent 4000758907
commit 7085d7f6bd
1 changed files with 214 additions and 0 deletions

View File

@ -0,0 +1,214 @@
OFF
106 104 0
-37.902450000000002 27.537749999999999 98.304000000000002
-36.688899999999997 26.65605 97.200000000000003
-40.289050000000003 29.271699999999999 96.959999999999994
-47.457700000000003 15.41995 96.623999999999995
-47.3626 15.389049999999999 96.959999999999994
-39.237299999999998 28.5076 98.207999999999998
-43.986350000000002 14.29205 98.063999999999993
-47.077300000000001 15.29635 97.391999999999996
-47.552849999999999 15.450850000000001 96.239999999999995
-42.845100000000002 13.921200000000001 96.384
-37.093449999999997 26.949950000000001 97.775999999999996
-36.607999999999997 26.597300000000001 97.103999999999999
-46.649299999999997 15.157299999999999 97.872
-46.744450000000001 15.1882 97.775999999999996
-43.177950000000003 14.029350000000001 97.296000000000006
-40.369950000000003 29.330500000000001 96.623999999999995
-42.892650000000003 13.93665 96.623999999999995
-37.700200000000002 27.390799999999999 98.256
-44.4619 14.44655 98.304000000000002
-44.319249999999997 14.4002 98.256
-36.446199999999997 26.479749999999999 96.384
-44.937399999999997 14.601050000000001 98.400000000000006
-45.412950000000002 14.755549999999999 98.400000000000006
-36.729349999999997 26.685449999999999 97.296000000000006
-43.60595 14.16845 97.775999999999996
-47.02975 15.280900000000001 97.488
-46.554200000000002 15.1264 97.920000000000002
-40.005899999999997 29.065999999999999 97.488
-36.405749999999998 26.45035 96.239999999999995
-44.557000000000002 14.477449999999999 98.304000000000002
-43.130400000000002 14.0139 97.200000000000003
-39.035049999999998 28.36065 98.304000000000002
-37.255249999999997 27.067499999999999 97.920000000000002
-43.273049999999998 14.06025 97.391999999999996
-36.486649999999997 26.5091 96.623999999999995
-43.891249999999999 14.261150000000001 98.016000000000005
-39.601399999999998 28.772099999999998 97.920000000000002
-38.104700000000001 27.684699999999999 98.352000000000004
-47.219949999999997 15.342700000000001 97.200000000000003
-42.797550000000001 13.905749999999999 95.760000000000005
-46.839550000000003 15.219099999999999 97.680000000000007
-37.821550000000002 27.478950000000001 98.304000000000002
-40.410400000000003 29.359850000000002 96.384
-42.940199999999997 13.9521 96.864000000000004
-39.358699999999999 28.595749999999999 98.159999999999997
-43.320599999999999 14.075699999999999 97.488
-37.619300000000003 27.332000000000001 98.207999999999998
-37.336150000000004 27.126300000000001 98.016000000000005
-40.167700000000004 29.18355 97.200000000000003
-40.127249999999997 29.154150000000001 97.296000000000006
-39.520499999999998 28.7133 98.016000000000005
-45.555599999999998 14.8019 98.352000000000004
-42.892650000000003 13.93665 96.719999999999999
-40.450850000000003 29.389250000000001 96.239999999999995
-38.751899999999999 28.154900000000001 98.352000000000004
-46.459099999999999 15.095499999999999 98.016000000000005
-39.439599999999999 28.65455 98.063999999999993
-44.794750000000001 14.5547 98.352000000000004
-39.682299999999998 28.830850000000002 97.872
-44.699649999999998 14.5238 98.352000000000004
-47.505249999999997 15.4354 96.480000000000004
-36.405749999999998 26.45035 95.760000000000005
-42.797550000000001 13.905749999999999 96.239999999999995
-36.850700000000003 26.773599999999998 97.488
-39.763199999999998 28.88965 97.775999999999996
-37.012549999999997 26.891200000000001 97.680000000000007
-36.567549999999997 26.567900000000002 96.959999999999994
-36.527099999999997 26.538499999999999 96.864000000000004
-45.650700000000001 14.832800000000001 98.352000000000004
-40.369950000000003 29.330500000000001 96.719999999999999
-47.315049999999999 15.3736 97.103999999999999
-37.174349999999997 27.008749999999999 97.872
-42.845100000000002 13.921200000000001 96.480000000000004
-47.457700000000003 15.41995 96.719999999999999
-43.510849999999998 14.137549999999999 97.680000000000007
-38.954149999999998 28.301850000000002 98.304000000000002
-43.035299999999999 13.983000000000001 97.103999999999999
-36.810250000000003 26.744250000000001 97.391999999999996
-47.410150000000002 15.404500000000001 96.864000000000004
-45.888500000000001 14.91005 98.304000000000002
-45.793349999999997 14.879149999999999 98.304000000000002
-38.630549999999999 28.066749999999999 98.400000000000006
-39.844099999999997 28.948399999999999 97.680000000000007
-38.226050000000001 27.772849999999998 98.400000000000006
-40.248600000000003 29.2423 97.103999999999999
-38.832799999999999 28.213699999999999 98.352000000000004
-40.046349999999997 29.09535 97.391999999999996
-36.486649999999997 26.5091 96.719999999999999
-46.363999999999997 15.0646 98.063999999999993
-43.701050000000002 14.199350000000001 97.872
-40.410400000000003 29.359850000000002 96.480000000000004
-36.446199999999997 26.479749999999999 96.480000000000004
-43.796149999999997 14.23025 97.920000000000002
-39.156399999999998 28.448799999999999 98.256
-46.126249999999999 14.987299999999999 98.207999999999998
-46.031149999999997 14.9564 98.256
-46.268900000000002 15.0337 98.159999999999997
-37.417050000000003 27.18505 98.063999999999993
-47.505249999999997 15.4354 96.384
-44.081449999999997 14.322950000000001 98.159999999999997
-40.329500000000003 29.301100000000002 96.864000000000004
-38.023800000000001 27.625900000000001 98.352000000000004
-44.224150000000002 14.369300000000001 98.207999999999998
-42.987749999999998 13.967549999999999 96.959999999999994
-37.497950000000003 27.243849999999998 98.159999999999997
-47.172400000000003 15.327249999999999 97.296000000000006
3 17 19 46
3 59 101 57
3 90 60 15
3 65 74 63
3 15 60 3
3 84 70 48
3 17 18 19
3 98 60 42
3 5 96 94
3 21 83 22
3 97 6 47
3 53 8 42
3 56 55 88
3 63 45 77
3 93 95 31
3 77 33 23
3 104 102 99
3 80 75 79
3 10 89 24
3 44 96 5
3 67 43 87
3 81 22 83
3 23 14 1
3 75 80 85
3 1 30 11
3 15 73 69
3 44 88 96
3 11 30 76
3 39 61 62
3 37 21 57
3 0 59 29
3 50 55 56
3 77 45 33
3 85 80 68
3 101 59 0
3 31 79 75
3 54 51 81
3 42 60 90
3 0 29 41
3 27 7 25
3 104 99 97
3 48 38 49
3 50 26 55
3 47 35 32
3 32 92 71
3 93 94 95
3 81 51 22
3 11 76 66
3 72 9 20
3 66 76 103
3 36 26 50
3 49 38 105
3 63 74 45
3 64 40 13
3 83 21 37
3 65 24 74
3 18 41 29
3 86 105 7
3 61 28 62
3 58 13 12
3 1 14 30
3 42 8 98
3 82 40 64
3 49 105 86
3 86 7 27
3 67 103 43
3 31 95 79
3 100 78 2
3 91 16 72
3 69 73 100
3 3 73 15
3 85 68 54
3 84 4 70
3 36 12 26
3 87 43 52
3 28 9 62
3 20 9 28
3 48 70 38
3 23 33 14
3 27 25 82
3 5 94 93
3 32 35 92
3 91 72 20
3 66 103 67
3 87 52 34
3 47 6 35
3 52 16 34
3 46 19 102
3 82 25 40
3 2 78 4
3 41 18 17
3 58 12 36
3 2 4 84
3 34 16 91
3 97 99 6
3 46 102 104
3 10 24 65
3 71 92 89
3 64 13 58
3 71 89 10
3 37 57 101
3 100 73 78
3 56 88 44
3 51 54 68