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 c 44 ]/]HOLCF:threads=6elapsed=12.643cpu=41.088gc=2.900factor=3.257zXZִF! D]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0֚dI{[,eORd$IVQCZG}p Ch۠MBϤouj85{J)~ӷ䵷e:0ڗChqҺe_E}gYZ7zXZִF! Q]ŗXiɟ>Ӈɇ9S2]hα*LpvG}e^2_)}-9t:ĄIar܅p:uJ'H|󓋍- z@f@C+iBIWlM EqO> @Nx:#k3*KG)U붳>kD^ӄNz\.z$q>}3gijԴa”=Ƙ0p(W,J ìvV iRk7Sd)T6'[b-u̡f;FSfoXҙMvN}XOޕeL,V4={9\b N.'5j #<ƢJ.k>aY`l+ ;fTT9MCo|Pޕ<*"TKY0_RNWK1}[٣j6}C&Y$ˆ$@⢁Mij`N]ÎhVnEM>{f_,,.)S;̗Xd"©Mv٪X`g B~(`!GvO ;>;лɷd;'.gYZ7zXZִF! HC]ŗXi%G1 ZWTYX<ȊCJIL)_1>_0JҺY_.{LfSN"..J:"iF#/ O+z=bdв;.2ׇW{I1@]i`H#1:opHkKYǫXMlj/X7`&6{}H"qUo1'{`Ke[ݙ5B@Kq[U"HALj?8}{eCz:pĮL%-/5wNSeR\^2ړnWivoyਅAg0a>\@_Hl~g>+B2蛗U DGb_wTu4uy :Oȴ_0KQ]פ˘ll;bpT i@ U<l4`F;F$qYkQg%QcEpEw7(Tv]焗o7Xf=QraʂUz˰e\9+y1]SJڝ$݅ .ymQ᥇%U0(+)!VT*9,{7f`Al[+Fcr5 قs—.L#JXMx«i-" v%y=q+?etJL&6")_? dՊOy+S޻u}2'ͮo v6l CPm"?73O²AM"N42s#-oR&WCKTxo _X",9 ŏ+EZg3R-{21*\Y-F}6vgCiޜ>"I+hcX4rgj]q`ˋ8 ]S5{?8lQT^$@