SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 # |$ ] Optimal_BST:threads=2elapsed=20.117cpu=35.092gc=0.896factor=1.747zXZִF! ]]ŗXf1-/6vR[$G~࿚#J~)G3OG`@ĐAhfl3nwBfE+$p["^Q͛rWAu //Ol`+f P=v\?rܬ 䯼GҊȩ>PSh+g%C:9hB2~cgYZ7zXZִF! =]ŗXiɟ.#Vv&FJr2[:;%_|Q W  B2h, x0`⧣]'K^j ܹ VJ 2֪ׯFu:@Tto"BAڞlf18r,Kq"t{ ;J19Ԥӵx(i6wwgYZ7zXZִF! qw]ŗXi%>gϝQ5J{wZm_ |f >a+L|ߩ_!֪svQwzn{Oa{3d]á5r;Xk8wG6RA`F/RD`kWau\\mjHr@dGͨs.#_rknw@ŁqdMq˙f$^#ײ{\#[ձ0't:ڒп)pt? &Z&^F'p kndHPWTrs+?6]؄~@ma&dݲc)Ij\b+&ۥƽC5M/˲?w[waT2vampzXѐW?z @Cs D#&1p1L4{Vu/g{B.ͶDidJ&5ÒCFr¬)}i4ɿoِ#?hr/A$#WD ?}H wa^)gm=:Snw|bu g.8㛭eMVr|Ge`Tw"_ F!@B];âDžABzĤ̰SP,\ףpSC+= N[gSfJӳxҖ]_ m]d ʗG; a*m6Ǿ;! 2GT]j}I/7_ǁb7'Fpƥ-26'"uDGIqLz.uv y+PF`RJ7G*Y,QӜÿh Ns8 *XY }.__vU{NJE %8[0[$g8.$BW-dkBџ&=m1ˍB@L o p"TrsĦyq}`?sv\3n`5/&E*HE܂&y9C'D'!A^vX1;@(_ R,4tΤI5q5=1һ!3]g F WT >XwZ̎r[؟KsPH2X|+5d'~B;ZɦdQ.~(L&xfk0<1kk@;e-`Ql-h!1[ UN5;斿,ǝ%2t;sٗyO\Q.@Z ^"lJZGlPQٖàxY.#ϣ`_TY@*2 s ㍱gYZ7963eaa3af88208bd19bb6589c3c2754e3e84fff97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 e1d714440262cfdb984b3f3330e4c3900be5bb74 # Optimal_BST