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  LlT ]/ Category:threads=4elapsed=3.517cpu=10.564gc=0.156factor=3.007zXZִF! ]ŗXf1-q恈͐7ӺV l7L!hGfӗd>?Ү`4]Q}%}Vwq`ݓqn̚k3qgc)RfhgaBcd0bBcpa3rh"ڶ\jL~le&/ؾ/U`ӫ`@Cؿ)Dx1ɋ zp?dn~c[bӕMǤHm2|wG%/v};[mO}(cGjܰs3.jJ \_Zٺ iNgYZ7zXZִF! ]ŗXiɟ1˦r!st#?9ObW"tRɩpٔP1N%'hF>'_LͿkrxkjLޣR#)ܠ;1aT&_O+Ǩ,gOl9mOJpg%niԗQG1e rW9gYZ7zXZִF! )t]ŗXi%Gcř{ z3uHم: >Lg}Fɘ|4G壪[z˴6%N|nZR}*yCa=RKҙZ{l(zVAt Jԙ_س <'ጼ_Mqcvr0xߍ z`Ī4:) ٳW~Msxk' :ߋ)C j :Bقj.09"R`>)lѝ|n0]}[rx+`TؕV=}h'7g?JLۑkYEp-2ЧSI $߻k H@uJH`x؟f Gx2HLBOU#b!^jhI*<7b:,74Pe}_ !φe7s&HH 9m|v2p>zX2~:ITI;HU>+GJEĝ֐_/dA -.z2;i _;N!CݣW6'Ost3iF|;4 1ͣ§OvE(UOe|ϵv׾B3݈~d꜡ZMP.L]DL-%M  m`HYCtz4O+wuOT- .2W/Pij˱Jka[Gm,t :ɠi-q0asyLx[)ق#V`M}!L&4E@'f`]ۇN#KrH з STP&S*xP}.DHe QZTR?v DcxEԏO0Bd}R- gYZefafe5e35f77c0bb576c30534011c9c7cea6deaf1795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89   Category