SQLite format 3@ .;  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 g# l| ]%]Random_BSTs:threads=4elapsed=6.175cpu=11.668gc=0.440factor=1.897zXZִF! u0]ŗXf1-q恈%kV^M[-dwPt#`Nf )r1͓dS$b($]ʕ-R6.5z 7P)l?|wd~.}`OPrlػϕKQn_dFJCHGD C3Rj>P*)'ٹދjurMsml/?(yߺ J" tN|SP5XUo8R+] (b47\ ,09Oco mugYZ7zXZִF! 6]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻|Fd m=JŸ,^,ad,D+@3{ JI?$įd{]W/Q ѓ6#00O2S~CW2t_QBܜ["p?`Uk1Gc#+5Q P EdO^yKU@A"gYZ7zXZִF! 7 7]ŗXi%I-PƱ{({Zl׾MT>Hra8O>n[CW be4$ <}Xl`?a+JlF ;VMn1\"#Q7 }5o u-B"lm[ ñw\s%R[A޵V)T36ޔ-'DWt50%rw*wW[gjębT.HcطMsOw j$:RƆ1wB 'l3\!z7{Cy^[!`gz73VWH?e׼}dox;?g$5)gj 曭w~J&hgy#7)G3ؼq!]8$s*ӛ%'TvEV/_1aH܈<vEiH;@A!NePЌ3N #q~1z9ȫjGB4=7d}i@53׹6{D 8R{(1 ϔ7w=5pd ;9LOf03˭SatP?H,J9Ӭj%(d'f랢.dXF0-Q!:6/pKaMnށb$UŔ(nGpJ)/@0t5tueb|2;)T* uL\kĜM؉?4ԨIi}%`x]mgWRDBHm (J AsXge>yuCB5I]]<D8jmu͇Mx\G,"ʹt_Ap9HYyqe3q̑CY+vS_Ue,ò?%+aKMA>HzIZ0&gxƫz,rV_6xt yl"=# $@~a$Jn(k۸B ?ePn@(gYZ2a5b5dbf388fdf8481e6359ef051330abd1184225a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 d92257d35e39c8204c9a3171ffd1fefaa3a30d32 8b95958ef3078c9f930d3273f90bc0907f6b6318 0989ac2fa713de984aae670b43b560765d93803eec1f25951e867c3d597a36bec0d9a8bdacea1175 # Random_BSTs