Initial import

.gitattributes

@@ -0,0 +1,3 @@
+*.weights filter=lfs diff=lfs merge=lfs -text
+*.pb filter=lfs diff=lfs merge=lfs -text
+*.mp4 filter=lfs diff=lfs merge=lfs -text

.gitignore

@@ -0,0 +1,8 @@
+.venv_cuda/
+__pycache__/
+*.py[cod]
+.pytest_cache/
+.mypy_cache/
+.ruff_cache/
+.env
+.env.*

data/coco.names

@@ -0,0 +1,80 @@
+person
+bicycle
+car
+motorbike
+aeroplane
+bus
+train
+truck
+boat
+traffic light
+fire hydrant
+stop sign
+parking meter
+bench
+bird
+cat
+dog
+horse
+sheep
+cow
+elephant
+bear
+zebra
+giraffe
+backpack
+umbrella
+handbag
+tie
+suitcase
+frisbee
+skis
+snowboard
+sports ball
+kite
+baseball bat
+baseball glove
+skateboard
+surfboard
+tennis racket
+bottle
+wine glass
+cup
+fork
+knife
+spoon
+bowl
+banana
+apple
+sandwich
+orange
+broccoli
+carrot
+hot dog
+pizza
+donut
+cake
+chair
+sofa
+pottedplant
+bed
+diningtable
+toilet
+tvmonitor
+laptop
+mouse
+remote
+keyboard
+cell phone
+microwave
+oven
+toaster
+sink
+refrigerator
+book
+clock
+vase
+scissors
+teddy bear
+hair drier
+toothbrush

data/coco9k.map

@@ -0,0 +1,80 @@
+5177
+3768
+3802
+3800
+4107
+4072
+4071
+3797
+4097
+2645
+5150
+2644
+3257
+2523
+6527
+6866
+6912
+7342
+7255
+7271
+7217
+6858
+7343
+7233
+3704
+4374
+3641
+5001
+3899
+2999
+2631
+5141
+2015
+1133
+1935
+1930
+5144
+5143
+2371
+3916
+3745
+3640
+4749
+4736
+4735
+3678
+58
+42
+771
+81
+152
+141
+786
+700
+218
+791
+2518
+2521
+3637
+2458
+2505
+2519
+3499
+2837
+3503
+2597
+3430
+2080
+5103
+5111
+5102
+3013
+5096
+1102
+3218
+4010
+2266
+1127
+5122
+2360

data/goal.txt

@@ -0,0 +1,3 @@
++++++
+val_eq (Val.add (Val.add (r3 PC) Vone) Vone) (Val.add (x2 PC) Vone)
+*****

data/img/thumb0100.txt

@@ -0,0 +1,4 @@
+0 0.474219 0.267361 0.553125 0.393056
+0 0.458984 0.657639 0.486719 0.331944
+1 0.637500 0.174306 0.154687 0.081944
+1 0.595703 0.579167 0.138281 0.072222

data/img/thumb0101.txt

@@ -0,0 +1,4 @@
+0 0.462891 0.264583 0.561719 0.406944
+0 0.446484 0.660417 0.492969 0.343056
+1 0.621875 0.169444 0.154687 0.083333
+1 0.587500 0.579861 0.135937 0.070833

data/img/thumb0102.txt

@@ -0,0 +1,4 @@
+0 0.442187 0.259722 0.546875 0.388889
+0 0.435937 0.654861 0.489062 0.329167
+1 0.610547 0.172222 0.158594 0.097222
+1 0.576953 0.576389 0.139844 0.080556

data/img/thumb0103.txt

@@ -0,0 +1,4 @@
+0 0.428516 0.274306 0.553906 0.409722
+0 0.423828 0.661806 0.496094 0.340278
+1 0.594141 0.170139 0.153906 0.090278
+1 0.563281 0.575694 0.140625 0.079167

data/img/thumb0104.txt

@@ -0,0 +1,4 @@
+0 0.411328 0.263889 0.550781 0.377778
+0 0.412109 0.661111 0.488281 0.325000
+1 0.577344 0.167361 0.153125 0.084722
+1 0.555859 0.579861 0.146094 0.070833

data/img/thumb0105.txt

@@ -0,0 +1,4 @@
+0 0.402734 0.265972 0.549219 0.404167
+0 0.401172 0.649306 0.497656 0.340278
+1 0.563281 0.164583 0.153125 0.101389
+1 0.542188 0.576389 0.137500 0.063889

data/img/thumb0106.txt

@@ -0,0 +1,6 @@
+0 0.382813 0.272222 0.543750 0.380556
+0 0.396484 0.663194 0.489844 0.312500
+0 0.639453 0.504167 0.000781 0.008333
+0 0.151172 0.503472 0.002344 0.004167
+1 0.548047 0.169444 0.155469 0.083333
+1 0.534766 0.581944 0.139844 0.069444

data/img/thumb0107.txt

@@ -0,0 +1,4 @@
+0 0.375781 0.278472 0.543750 0.409722
+0 0.388672 0.668056 0.507031 0.352778
+1 0.539844 0.172222 0.146875 0.075000
+1 0.526563 0.582639 0.137500 0.065278

data/img/thumb0108.txt

@@ -0,0 +1,4 @@
+0 0.361328 0.275694 0.541406 0.373611
+0 0.376172 0.667361 0.483594 0.326389
+1 0.528516 0.173611 0.146094 0.086111
+1 0.514063 0.582639 0.142188 0.065278

data/img/thumb0109.txt

@@ -0,0 +1,4 @@
+0 0.353516 0.272917 0.544531 0.390278
+0 0.364453 0.657639 0.489844 0.343056
+1 0.522266 0.177083 0.149219 0.076389
+1 0.503906 0.586111 0.135937 0.061111

data/img/thumb0110.txt

@@ -0,0 +1,2 @@
+1 0.512109 0.181250 0.146094 0.073611
+1 0.495703 0.583333 0.136719 0.066667

data/img/thumb0111.txt

@@ -0,0 +1,4 @@
+0 0.337500 0.283333 0.537500 0.400000
+0 0.345703 0.665278 0.505469 0.333333
+1 0.500000 0.184028 0.157813 0.087500
+1 0.479297 0.586111 0.141406 0.072222

data/img/thumb0112.txt

@@ -0,0 +1,4 @@
+0 0.318359 0.285417 0.532031 0.370833
+0 0.328906 0.663889 0.485938 0.319444
+1 0.476562 0.186111 0.148438 0.075000
+1 0.467969 0.584028 0.140625 0.073611

data/img/thumb0113.txt

@@ -0,0 +1,4 @@
+0 0.306250 0.275694 0.557813 0.404167
+0 0.321875 0.663194 0.507812 0.340278
+1 0.468750 0.187500 0.145313 0.083333
+1 0.457031 0.588194 0.135937 0.054167

data/img/thumb0114.txt

@@ -0,0 +1,4 @@
+0 0.295312 0.282639 0.535937 0.387500
+0 0.304297 0.659722 0.477344 0.316667
+1 0.460547 0.185417 0.153906 0.070833
+1 0.442187 0.585417 0.131250 0.062500

data/img/thumb0115.txt

@@ -0,0 +1,4 @@
+0 0.287109 0.289583 0.541406 0.398611
+0 0.301953 0.658333 0.477344 0.322222
+1 0.448828 0.184028 0.149219 0.079167
+1 0.437500 0.586111 0.134375 0.066667

data/img/thumb0116.txt

@@ -0,0 +1,4 @@
+0 0.286719 0.279861 0.531250 0.384722
+0 0.301953 0.654861 0.472656 0.320833
+1 0.448047 0.177083 0.144531 0.076389
+1 0.437500 0.580556 0.132812 0.072222

data/img/thumb0117.txt

@@ -0,0 +1,4 @@
+0 0.283203 0.269444 0.532031 0.375000
+0 0.296484 0.651389 0.477344 0.308333
+1 0.438672 0.174306 0.149219 0.081944
+1 0.430078 0.581944 0.135156 0.069444

data/img/thumb0118.txt

@@ -0,0 +1,4 @@
+0 0.270312 0.271528 0.531250 0.379167
+0 0.282813 0.647917 0.473437 0.304167
+1 0.432813 0.170139 0.154687 0.079167
+1 0.414844 0.580556 0.137500 0.066667

data/img/thumb0119.txt

@@ -0,0 +1,5 @@
+0 0.264062 0.273611 0.518750 0.375000
+0 0.270703 0.645139 0.472656 0.306944
+1 0.417969 0.173611 0.150000 0.086111
+1 0.407422 0.576389 0.133594 0.066667
+1 0.917578 0.569444 0.164844 0.097222

data/img/thumb0120.txt

@@ -0,0 +1,6 @@
+0 0.258594 0.647917 0.484375 0.334722
+0 0.261719 0.268750 0.517187 0.381944
+0 0.764844 0.654861 0.470313 0.331944
+1 0.406641 0.181250 0.164844 0.101389
+1 0.391406 0.574306 0.151562 0.081944
+1 0.906641 0.566667 0.158594 0.088889

data/img/thumb0121.txt

@@ -0,0 +1,5 @@
+1 0.385938 0.172222 0.170312 0.102778
+1 0.381250 0.569444 0.151562 0.086111
+1 0.887500 0.566667 0.151562 0.083333
+0 0.246094 0.651389 0.481250 0.319444
+0 0.756250 0.647917 0.487500 0.320833

data/img/thumb0122.txt

@@ -0,0 +1,5 @@
+1 0.873828 0.568056 0.147656 0.086111
+1 0.361719 0.573611 0.150000 0.069444
+0 0.239844 0.644444 0.473437 0.316667
+0 0.744531 0.640972 0.482812 0.331944
+1 0.368750 0.175000 0.162500 0.088889

data/img/thumb0123.txt

@@ -0,0 +1,5 @@
+0 0.724219 0.638889 0.479688 0.313889
+1 0.855469 0.563194 0.150000 0.070833
+1 0.349219 0.176389 0.171875 0.091667
+1 0.344531 0.571528 0.151562 0.070833
+1 0.904688 0.175694 0.165625 0.076389

data/img/thumb0124.txt

@@ -0,0 +1,6 @@
+0 0.725391 0.265278 0.528906 0.380556
+0 0.703906 0.632639 0.479688 0.298611
+1 0.841016 0.564583 0.152344 0.076389
+1 0.881250 0.180556 0.178125 0.080556
+1 0.329297 0.170833 0.164844 0.086111
+1 0.335156 0.561111 0.143750 0.061111

data/img/thumb0125.txt

@@ -0,0 +1,6 @@
+0 0.704297 0.273611 0.542969 0.408333
+0 0.688281 0.648611 0.495313 0.322222
+1 0.855469 0.171528 0.173438 0.076389
+1 0.821094 0.556250 0.154687 0.070833
+1 0.307813 0.176389 0.164062 0.086111
+1 0.319922 0.567361 0.144531 0.070833

data/img/thumb0126.txt

@@ -0,0 +1,6 @@
+1 0.835156 0.175694 0.164062 0.081944
+1 0.804688 0.553472 0.157813 0.068056
+0 0.680859 0.266667 0.541406 0.375000
+0 0.671484 0.645833 0.483594 0.325000
+1 0.287891 0.177083 0.167969 0.090278
+1 0.305078 0.572222 0.149219 0.080556

data/img/thumb0127.txt

@@ -0,0 +1,6 @@
+0 0.656641 0.271528 0.525781 0.362500
+0 0.651172 0.640278 0.455469 0.300000
+1 0.812891 0.177083 0.163281 0.081944
+1 0.787891 0.554861 0.152344 0.101389
+1 0.264453 0.181250 0.166406 0.090278
+1 0.290625 0.573611 0.151562 0.077778

data/img/thumb0128.txt

@@ -0,0 +1,6 @@
+0 0.632813 0.271528 0.518750 0.356944
+0 0.639844 0.638889 0.460938 0.297222
+1 0.794531 0.178472 0.168750 0.076389
+1 0.774219 0.556250 0.142188 0.070833
+1 0.246875 0.182639 0.171875 0.093056
+1 0.274609 0.573611 0.153906 0.066667

data/img/thumb0129.txt

@@ -0,0 +1,6 @@
+0 0.614844 0.272917 0.512500 0.362500
+0 0.626172 0.645139 0.467969 0.301389
+1 0.772266 0.181944 0.158594 0.080556
+1 0.758984 0.554861 0.142969 0.079167
+1 0.228906 0.188194 0.165625 0.095833
+1 0.258203 0.579167 0.161719 0.086111

data/img/thumb0130.txt

@@ -0,0 +1,6 @@
+0 0.594922 0.275000 0.522656 0.361111
+0 0.608984 0.643750 0.467969 0.293056
+1 0.750781 0.178472 0.182812 0.076389
+1 0.744141 0.560417 0.155469 0.087500
+1 0.204688 0.183333 0.175000 0.091667
+1 0.234375 0.581250 0.159375 0.081944

data/img/thumb0131.txt

@@ -0,0 +1,6 @@
+0 0.580859 0.281944 0.511719 0.355556
+0 0.594141 0.647917 0.469531 0.295833
+1 0.726172 0.181250 0.178906 0.081944
+1 0.729297 0.559722 0.153906 0.075000
+1 0.185937 0.189583 0.175000 0.098611
+1 0.223047 0.585417 0.153906 0.073611

data/img/thumb0132.txt

@@ -0,0 +1,6 @@
+0 0.557031 0.280556 0.514063 0.352778
+0 0.576953 0.652778 0.469531 0.288889
+1 0.701563 0.184028 0.159375 0.095833
+1 0.708594 0.563194 0.143750 0.073611
+1 0.163672 0.189583 0.167969 0.095833
+1 0.196875 0.584028 0.160938 0.076389

data/img/thumb0133.txt

@@ -0,0 +1,6 @@
+0 0.535547 0.277083 0.519531 0.345833
+0 0.553906 0.650694 0.476563 0.298611
+1 0.687891 0.193056 0.167969 0.083333
+1 0.696484 0.565972 0.153906 0.076389
+1 0.145703 0.189583 0.175781 0.098611
+1 0.175781 0.586806 0.165625 0.070833

data/img/thumb0134.txt

@@ -0,0 +1,6 @@
+0 0.510547 0.288889 0.544531 0.369444
+0 0.533203 0.663889 0.491406 0.311111
+1 0.660937 0.192361 0.164062 0.084722
+1 0.671094 0.568750 0.146875 0.073611
+1 0.121484 0.196528 0.169531 0.090278
+1 0.150000 0.593056 0.167187 0.077778

data/img/thumb0135.txt

@@ -0,0 +1,6 @@
+0 0.493750 0.292361 0.523438 0.370833
+0 0.516406 0.667361 0.476563 0.304167
+1 0.645312 0.202083 0.164062 0.104167
+1 0.655859 0.573611 0.149219 0.075000
+1 0.100781 0.202778 0.160938 0.086111
+1 0.135156 0.597917 0.154687 0.079167

data/img/thumb0136.txt

@@ -0,0 +1,6 @@
+0 0.473437 0.300000 0.546875 0.372222
+0 0.494531 0.674306 0.493750 0.337500
+1 0.628516 0.200694 0.163281 0.098611
+1 0.634766 0.579167 0.150781 0.075000
+1 0.084375 0.206944 0.167187 0.083333
+1 0.111719 0.603472 0.171875 0.084722

data/img/thumb0137.txt

@@ -0,0 +1,5 @@
+0 0.445703 0.302778 0.528906 0.355556
+0 0.476953 0.677778 0.478906 0.300000
+1 0.600781 0.217361 0.173438 0.090278
+1 0.616016 0.587500 0.147656 0.066667
+1 0.089062 0.613194 0.170312 0.076389

data/img/thumb0138.txt

@@ -0,0 +1,5 @@
+0 0.429688 0.306250 0.532812 0.390278
+0 0.457422 0.687500 0.496094 0.358333
+1 0.580469 0.218056 0.165625 0.083333
+1 0.595703 0.589583 0.152344 0.081944
+1 0.075000 0.621528 0.150000 0.056944

data/img/thumb0139.txt

@@ -0,0 +1,4 @@
+0 0.407813 0.304167 0.528125 0.355556
+0 0.435937 0.688889 0.485938 0.300000
+1 0.561719 0.223611 0.164062 0.094444
+1 0.579687 0.600000 0.153125 0.072222

data/img/thumb0140.txt

@@ -0,0 +1,4 @@
+0 0.392969 0.312500 0.542188 0.391667
+0 0.415625 0.695139 0.509375 0.345833
+1 0.546484 0.216667 0.157031 0.091667
+1 0.556641 0.597222 0.153906 0.072222

data/img/thumb0141.txt

@@ -0,0 +1,4 @@
+1 0.536328 0.219444 0.155469 0.080556
+1 0.537109 0.599306 0.144531 0.068056
+0 0.379687 0.305556 0.545313 0.377778
+0 0.395703 0.693056 0.491406 0.344444

data/img/thumb0142.txt

@@ -0,0 +1,4 @@
+0 0.359375 0.318056 0.559375 0.394444
+0 0.384375 0.700000 0.514063 0.322222
+1 0.515625 0.225694 0.165625 0.084722
+1 0.524609 0.605556 0.153906 0.072222

data/img/thumb0143.txt

@@ -0,0 +1,4 @@
+0 0.337891 0.320139 0.544531 0.370833
+0 0.359375 0.700694 0.493750 0.309722
+1 0.493359 0.232639 0.169531 0.079167
+1 0.508984 0.604167 0.150781 0.075000