Skip to content

Commit

Permalink
foods smol proved, but medium fails
Browse files Browse the repository at this point in the history
  • Loading branch information
erhant committed Oct 26, 2024
1 parent 733d2c2 commit 93705d8
Show file tree
Hide file tree
Showing 9 changed files with 1,800 additions and 26 deletions.
34 changes: 17 additions & 17 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 4 additions & 0 deletions aligned_verification_data/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
# Verifications

- `6cd22ec2`: Fibonacci
- `56a9b870`: Foods (smol)
1,620 changes: 1,619 additions & 1 deletion data/foods-med.index.json

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions data/foods-med.query.json
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
[-0.0030232593,0.0364425,-0.15743534,-0.005882404,-0.017413013,0.03759689,-0.015491304,-0.037734017,-0.048822686,-0.04720332,-0.00003965151,0.014610704,0.015999941,0.032159537,0.0042378465,-0.070386104,0.07247432,-0.058001015,0.025971282,0.005540217,-0.0144639565,0.059335146,-0.002608416,-0.023224773,0.13625441,0.03811387,0.045389894,0.028755173,0.03011675,-0.034210954,0.06325204,-0.09116868,0.0011625338,0.015625266,0.006296742,-0.022632902,0.03200836,0.019980883,0.047472287,0.06316724,0.029332524,0.03691283,0.004008667,0.03291967,0.074795276,-0.0004271736,0.0048200022,0.048016388,0.02124258,0.0056380755,-0.02864698,-0.019443607,-0.068552345,-0.08510727,0.11191554,0.012716978,-0.052224472,-0.0055707586,-0.020549456,0.039546188,0.00019550772,0.043905944,0.013458688,0.048672255,0.032959513,-0.052434232,0.0031917868,0.018377276,0.01946657,-0.018464975,0.003263546,0.028745836,0.028271193,0.0021531892,-0.0032825158,-0.051939588,-0.02711654,0.035408244,-0.0101285335,-0.019757347,-0.013615276,-0.043036677,0.024784304,-0.024468737,-0.0069153546,-0.030886574,-0.0065424195,0.022186594,-0.030319978,-0.00702047,0.07896491,0.007854755,0.066473424,-0.002705713,-0.029699087,0.022763072,0.015361415,0.035020135,-0.014368175,-0.053380694,0.004544682,-0.0010855583,0.014623105,0.029711949,0.07876038,0.016399669,-0.044254072,0.017114297,-0.026961189,-0.02484458,-0.052212283,0.06897954,-0.03563508,-0.049622085,-0.009772029,-0.055337735,0.014147364,-0.04103518,-0.0025411136,0.011915626,-0.0066282293,-0.0051266346,-0.01615196,0.06171169,0.00270235,0.038237434,-0.026195023,-0.008729657,-0.022631008,-0.076805644,-0.050340425,-0.031013992,-0.03695182,-0.0008667174,-0.014818484,0.05389917,-0.019541578,-0.021327093,0.091375865,-0.0123930415,0.05128037,-0.0218317,0.027653879,-0.061106727,0.012546458,0.022469092,0.040023696,-0.021819169,-0.021355642,0.0553447,0.059546318,0.021964915,-0.0056729056,0.020464066,-0.027467167,-0.03308221,0.03977557,-0.02609871,-0.024196986,-0.018560298,0.048931092,0.053046804,-0.012021001,0.012903854,0.007589257,-0.053782534,0.042112503,0.040643584,-0.018041963,-0.05118611,-0.07110501,-0.0037476227,0.0075049736,-0.008407772,0.023549043,-0.008917241,0.041752975,-0.03504387,0.038904972,0.007489763,-0.027594816,-0.0599086,0.012346129,0.03487393,-0.066578925,-0.045655202,-0.007887792,-0.008693611,-0.050280575,-0.021508126,-0.0022809952,0.03665131,-0.043382432,-0.022257412,0.00058523205,-0.03865508,-0.004353176,0.024932355,0.046884038,-0.008040647,-0.080758005,-0.018255234,-0.004125175,-0.025831098,-0.043054573,0.038801234,0.0041511147,0.0019127047,-0.04395761,-0.002048569,0.011124878,-0.028967218,0.023328526,0.0076673157,0.015278126,-0.028167034,-0.023670262,0.02185018,0.0040634125,0.02560498,0.03026623,0.045565218,0.02782526,-0.061228503,0.042675957,-0.018382186,-0.027241781,-0.029054623,-0.008901952,0.01120536,-0.0043099276,-0.08665517,0.05635133,0.02634606,0.009141833,0.014377831,0.011615759,0.024773968,0.035609845,0.028641945,-0.010141141,0.026951613,0.010240799,-0.014278052,-0.07099215,0.020975547,-0.007650039,-0.008580809,-0.04002215,0.016390424,-0.04646062,0.011181369,0.012831368,0.07123872,0.017425587,-0.050446164,-0.02852434,-0.0061760102,-0.01966436,-0.010610887,0.033786446,-0.0905742,-0.05859348,-0.089933515,-0.0433579,0.033403266,-0.04018627,0.0008511407,0.021557897,-0.0070458064,-0.0034287758,0.0017854144,0.017721873,0.01416999,0.009811233,-0.013136624,0.013357168,-0.014496752,0.024855128,-0.00045757904,0.023640929,0.01621985,-0.020332323,-0.039501674,0.030026864,-0.019824103,0.036747627,0.008480553,0.048465353,0.010835966,-0.06300481,0.0047834255,0.02702651,0.07151983,0.017110908,0.015441076,0.06326528,0.006530257,0.0147181265,-0.020325117,0.028835818,-0.010549016,0.036886025,0.014451403,0.015115267,-0.009456435,0.0722627,-0.038726013,0.065063335,0.0057596215,0.016448485,0.016329354,0.008185426,0.094724245,-0.0746942,0.015351354,0.007146655,0.014001071,0.045856252,0.01388441,0.038993377,-0.047455836,-0.013236337,-0.05433483,-0.019865459,0.021712447,0.030369664,0.06590542,-0.011469208,0.0125680035,-0.0047551044,0.017886253,-0.045948792,-0.021955933,-0.038737956,0.06011904,-0.049079854,0.01289134,-0.013402332,0.027459538,-0.014118588,0.0052431235,0.012590836,0.000118116346,0.0045928475,-0.03329433,-0.036830235,-0.010981241,-0.02204079,0.049619127,-0.009075124,0.015303831,-0.027023664,-0.053684387,-0.0262112,-0.0019252213,0.0383951,0.04535388,0.06702647,-0.050974574,0.03416343,-0.012106509,0.0602508,-0.019839877,-0.0016143144,0.0015159039,-0.011243885,-0.005663291,0.016916024,0.012889156,-0.03181397,-0.014525757,-0.04909238,0.02917778,0.0015102886,-0.023790037,-0.026549203,-0.052139226,0.0032382065,0.0685799,0.0011374251,-0.001674894,0.02870323,0.001728349,0.012356478,0.008274064,0.0054553966,0.014827132,-0.02599527,0.019304998,0.00023305064,-0.101650216,-0.01939601,-0.03243424,-0.00031963992,-0.010815065,0.0783212,-0.040336814,-0.06547038,0.010696713,-0.05895474,-0.025312772,0.061356846,-0.0296604,-0.032619245,0.01309825,-0.014899288,-0.08456841,0.06542198,0.034286197,0.013395668,0.02445262,0.010638688,-0.017125666,-0.04772276,-0.0017279588,0.04467878,0.021087192,-0.010278815,-0.013841601,0.04500413,0.05268394,0.0041719805,-0.00244455,-0.042927902,0.036568385,0.019534556,0.056418482,0.0011911861,-0.062194888,0.03967594,0.000056029592,0.033926297,-0.035685137,0.03492974,0.015468301,0.041181307,-0.003765563,0.07179839,0.07061735,0.029504549,-0.004513375,-0.03657399,-0.031465057,0.026080241,0.09446439,0.0352163,-0.015536606,-0.017887583,0.013335222,0.011456961,0.016728934,0.029621575,-0.010091026,0.06528816,-0.03544247,-0.013505622,0.032106083,0.040911753,0.036184397,0.030254118,-0.024954055,-0.032132737,-0.033315107,0.008432356,-0.027841462,-0.030451253,0.014224791,0.0024136042,0.056270007,-0.0698975,0.0019674036,0.031209277,-0.027508022,-0.023671167,0.036230568,-0.052517146,0.0016765646,-0.014416554,0.039738838,0.007576856,-0.04569315,-0.0410965,-0.09888529,0.015304548,0.03102524,-0.004341476,0.006459893,0.007114053,-0.011282572,-0.016310107,-0.014915712,-0.010489647,0.008052289,-0.011191435,0.050523367,-0.020129716,0.0433277,-0.02031177,-0.0008147885,-0.044684548,-0.009287419,0.041559424,-0.013716306,0.0068383957,-0.06382347,0.01342875,-0.0457647,-0.01605429,0.07333613,0.001590484,-0.026408385,0.016637288,0.039774694,0.07539119,-0.045744,-0.003385022,0.063764624,-0.021070013,-0.003972801,-0.01459385,-0.07914286,-0.016395977,0.020243475,0.035702165,0.018459633,-0.02710419,-0.059742052,0.043143746,-0.015358551,0.0108405305,-0.022433285,0.021795938,-0.030779587,0.020542167,-0.00045143205,0.054584034,0.026275666,-0.0046035075,0.040693697,-0.024489999,0.03085106,-0.009262451,0.018659228,0.045842618,0.03496739,-0.0065424065,0.001912212,-0.025116162,-0.0059309383,0.046326336,-0.058115408,0.022662124,0.0055761314,0.027031794,-0.04159506,-0.05446153,0.0054937648,0.0004941172,-0.03657434,0.04178907,0.011911727,-0.035484046,-0.037028342,0.046348155,-0.06583134,-0.010060006,-0.028825961,0.0049218712,-0.010477122,0.010277779,-0.025839604,-0.017077694,-0.0072315787,-0.03255321,-0.025249878,0.041408006,-0.029283483,-0.08389751,-0.0032322912,-0.008654226,-0.016220821,-0.021036213,-0.020548267,-0.04711308,-0.0050843093,-0.02033886,-0.0037507312,0.022193879,-0.059370134,-0.028511677,0.022824204,-0.012916783,-0.016845042,-0.032260783,0.0060968585,-0.05549008,-0.017237527,-0.03185439,-0.029858552,0.04248081,0.03445568,0.06706557,-0.0019938978,0.044255234,0.08900436,-0.03928397,0.048148163,0.019258508,0.0022566398,0.02830098,0.045630284,-0.061300274,-0.038284175,0.021731967,-0.033947356,0.031464115,-0.0033815762,-0.03398816,-0.0154936,-0.007462809,-0.076929644,0.030137101,-0.0056180153,0.040276058,0.0067549716,-0.03500619,-0.0221518,-0.07912742,0.06156313,-0.0129684415,0.02428387,-0.01625237,0.01624131,-0.02399109,0.008387632,0.014784402,-0.038143698,0.032218453,0.0093339635,0.041625667,0.027099034,-0.008847553,0.011200007,0.022288976,-0.02807448,0.010366558,0.018033594,0.0900331,-0.039194617,0.023031281,0.04772833,0.05229905,-0.0054150233,-0.00267248,-0.00040428567,0.015404107,-0.06158278,-0.053779047,-0.057657722,0.0046373294,-0.00861235,-0.01417753,-0.012911609,-0.005047773,-0.009494597,-0.049319983,-0.02033923,-0.07148391,0.048405506,0.001629779,-0.041637644,-0.040505327,-0.04307102,-0.021392928,0.061554566,-0.013741519,0.08153639,0.025923194,-0.007935849,-0.015072188,0.0035692088,-0.034955814,0.008853492,0.0032725993,0.017862748,0.030654306,-0.050274942,0.019823497,-0.036086123,-0.017413124,0.0080834925,-0.010902026,0.0210554,-0.0012535203,-0.0018937136,-0.017700097,-0.018667957,0.03426757,0.039587412,-0.057512853,0.013037205,0.005291121,0.03565178,-0.048019078,-0.026925322,-0.032930084,0.02319459,0.0067190086,-0.00007658042,0.014524815,0.048985057,0.02289963,0.108831994,0.020489376,0.03238349,-0.015159545,-0.047670495,-0.021578392,0.053637587,0.056935966,-0.054690063,-0.04978247,0.0019493381,-0.006545146,-0.011950053,0.031874817,-0.023298416,0.049612097,0.0003324891,0.045040354,0.008000708,-0.064051576,-0.026375761,-0.018210469,0.02313114,-0.047093395,-0.01667758,-0.015595094,0.009462485,-0.03129507,-0.028236775,0.010329821,0.04816694,0.058884468,0.026336737,0.008518036,0.024862882,0.011756845,-0.0060010073,0.030478124,0.027449299,-0.018737242,0.021731133,0.0022495312,0.030839983,-0.04160174,0.016833456,0.062229127,-0.023538562,0.017344644,-0.029434,-0.0026678117,-0.015012853,0.007920014,-0.00015770456,-0.0585645,-0.020747948]
Loading

0 comments on commit 93705d8

Please sign in to comment.