SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 44I Tt ]%]CAVA_Base:threads=4elapsed=5.067cpu=16.712gc=0.484factor=3.307zXZִF! c]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5HX) Q/mK:sk7V )p ~'XUתij<W ,؎9O#?%J3Ml:eϦs `Z|m#Xw$RuAXUPzj-^sEw3 k#& `Tɜ71*$NV!_e b( J-p-4FY6Ri[xs{zN=oW,m/l%Z#n~-ܧ0!_y1ty";4q P!|a!_oe 6nh4DF//;=88*6|UjQd`R s g5:p0+ 9ɿ-Er}Ox^CHW.S܆\J~f_ 3{Kqo F[.Ey+h+OU䥛—s,2Oda _Nzc9m "_-s(淚>ؽ""SI1ԀBD?G:2/W^׶\Siy(϶cekWSQA=O]*J ZgYZ7zXZִF! ]ŗXiɟ>P++ \D;?!W 2.~Qhei@e)fJB!wEa4?@YWV$d(LvlXR]}y qW>>hRj {T7 ޔaLC"4Q7Jǖzm?k4hpZ(Qy@j}*@c0M%HŨg};).WBuND@OCX}vix_^ޑneuJ= mÀyod vȌnTs| H:y\RMr:Q 8T1:"yS={ i)Es}(h> R~L2V,i9tB#`G_%Z+?w, gYZ7zXZִF! {]ŗXi%BgB6Q;=tNHa+ _@< L$u7*9FbN5kXs{Z?}GD j2+ꈪD.,o,F{,Q+z5 Nuy37ƛ䚌Jbj]ౡ k4.ޮ@XTIv/)smԫгIE[Pø )X+sJmeVר79> ˵n|*sqaRU:}m0DMw;'e^ln>ς>3iunbN2kw>`Nl y5ÅQRoGBAMYz8_#()R[O~z+SLOqs oGE6hgKN1ھZ0H9]Lto-+&40BVxNE;=쵌fŀ\v iJo*\7td" =`Hx~^:O OkfJai?A?PVA:WR>\uDŽ$se#eu~&H^̴B;!-Q~-Ch%;=@gYZ6fc53b58f8d3ab3ee121e7f4bf677656f394e009ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 a35514489a8cc48f95c293b75baa14822affac42 e3728fc3c4a69ed7b48997a3f0572f128e2e46fc 1b2ba2f13de0fa4a05ec46de0d579816413f705eb58475ac119e827906fa4f1edd0d64756c58322b   CAVA_Base