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   s l\ ]S CCS:threads=4elapsed=14.020cpu=42.532gc=0.804factor=3.037zXZִF! P0]ŗXf[&:)V<2c_/:`5=^QO1κpj\m$@0Xpl;:.#<)WA3MNgQ1\A|j==rȈ|h {av%uBM?܎y7>8+Hz{s{Gɷ_u0dTҴ4閬4eMnYW0jQ‰ 8hF !sJrth#0=# ;y5 l~ӜNj'E4"hVyW ųw};2>0?ԜIZB:7<)[/uTKuT+:hTz!(Y!S%{g s,v "Z~|9'|Dlm%E.ϑΣ樘uEkvan8R{}zBy8 e X mcuo^C&:' B'#9Uz_.H'Q InVN$⡻0~E~%PH8 ŋ:(+۱gYZ7zXZִF! *&]ŗXiɟAyԳbɚ->ٝdMYS.ۖWڊIUW6}(i0:9f _2@Fе>#M9Mɢ (v "ԑSo Dʎqkjk(D F[.h}Ke6X)u5DDQhN!`DGݕ3GUdNZoBh`LDityE\MRRY[`V~=OU߾A7i/O, ^ppF|9yE"1+C,SJ1O #HrgYZ7zXZִF! i]ŗXi%ES3jul,{ĠIѹ_QXBA>̠;LK~8X Z~q~qq˰cP'>:zi-hB9cH[:~*Lܮw3drYzԩq>!D<#^\+V0 t^tW, K_vƏZ#G\4!&Mc1s-K}4 K,ue!o  q%k"_U#,!oØ$Cyd _燯nРl<::^qOQcIsq3s}8tXzi[oPijwj.O߄2݆r91HI@l?QI{h!_Bߜޥb6"&n;EcK̏Xb9'U>½%TW r*\ɣ'k2%V3;۫JהL>^ gR`iD74s \|X*Gn{-z3 [T~:ܯ4:3`+_Ͱ10Zr-%"2Iv8Fg=:u'^nSB̝<^9y=?T 1dq;\s=Jgc6;![ ۟5b!6db.~6~.}y@zwq_+nOM+DjݟFir W> YIiL"3v#%E;v,/~ ۹MڢS6*)uQs)r|@zzv?_OXaa[ )5z␊ʓ,ZPFht9WNP<=<t*:S6һ!,sӽ{٨]|JwFLZ].[.DF394YGW-V@-d_՜ѽ(kl{8owZm& RC E3eEҖyR<Bq']m.ЇkVBfL~)Pn-#D\EP;`z)V)RgGМ頉T V&Zݏp0'2FR|}\+2h)2DZ` &?>y('k6wl$%Ss` [ݕs?\q?KnNQd=/ի8;B_J, G#z 6gYZb18bad63fb18e4b729f33517e7affa24bb2ba6a476b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 f6058b8b17c98ebd707ef216357bee44fcaa8403 aa443a5e13d86bc4ff8f2c315ea6a1522ff6b534  CCS