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 Q d|| ] IOA:threads=6elapsed=7.072cpu=31.620gc=1.248factor=4.477zXZִF! X]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K4, dO$&h~FBз xOhY1wC]ٕ!D^NTM!PV}OPO"gΜ;%7=f2 I,n(7h`i57p-b kHΩ,,.BDT[Mލ"tn;7ʬ0bOS Etó68_9r8.h\15փenJ[ 20FЬשiֺ#Rҩr6;gZLY)؂Bx]Q[ \KH)E62F") K=@f}nt>ݪ`|FL&^%@LHR'Z:1dHVgYZ7zXZִF! `v]ŗXiɟdN'LvH۹C<#t:ej jUAU|s m*~ UW3,8Cȉa'`Zԃ)GR⺤:9{Ui1:q}BT} ElF.#]g\Pd8n$Jk;[ɕ.FVc0U:BǪkm,*nVT(jċv Ap ` T[jH⩐Fqb}ѾN~y!k'(D'cU_sy޸hY,_ C!\+򅢈ɳC6oֽdv͢g|'Sc κgYZ7zXZִF! )7]ŗXi%BDk <ڿb[{Y\&R{yխ{`7[2LXYHD 4=-R(3Cn9r^7GX{JqNGlE(i 5!-tS#$4 Ynak%r 88$mwMك"+Ir-veKCb(1hN4_H3Ua:9P(GRo5$X$Ix1p/_C(sh41*7`eD=s>l:C;V^]pqTH4w>gAvT?GU;4wP`<~95jz Tf~q?!)-U87Tzzػf=6 4]vJm 3M|cIs;->jׂz&Pnq052 1?k1)c7QDuOMȰCr!quܕ%;pM7fD y >f~|jBd ;oc9CWGӖ2n[SS6ynҌw:6}Vpd%pmPG|hlxu0WVPcѽNso1[%/e+'vX6mI1H@7s ia yqd٠lڊ0%pgun2줦NI\wN0vKIN$@n ,LI7eGVJDȨ/6eAo.%pH,n _( Ԉ"LƳx j0E/Eŕr)Sd`igYZa156aad7e5a0d737de880f0c4425ffc7f06ea9c8cc046ae580776820f4a04105f911f868e699728a 55e7e56f5ba0698df4bb0247f9715a7a435fa5d9 10fd5791b6fff1b0d056207079d2428ca8e043fd  IOA