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 %%X TDD ] IMAP-CRDT:threads=2elapsed=24.750cpu=40.524gc=2.068factor=1.647zXZִF! ]ŗXf1-/6vRZ- VG{? uaԌ<[_ݛ )s=0[)WۍȣU: U ?zN;80Q)^],)[7TP3vOD>pijgn϶PS  h*<">bmV}nxE5&okBKH9ϦP#379Ρ苚8cLqjOgTZs'3+3 -NFeKc9ECG5REj)8y-N J/ѻ?r9 c(Q(YnR aħ= dd1!dQ-.&ߥO-rGz)@XylnaG$lН`*x&qCHib$ɕ .a悹~lZw/Coda{uH2'4fxf†Y$$K(rE[bPzEyRrXӷj l2.AAahZS|Zo8̜ǘ4{T<;OiQ+Țp=,nRޙ(: _[QX:y NN?YV~C\UdI+/My%M+0 r!]G$±M3h ᨽVoŎzTx"⑒eᐏ­YW,``{\)&D\̖'.usk}!f_wG&|<”쏩N+X.:e^%Ufd)8G}gjƇ~ZlhZ3 AjQm$[nW-)`>}Z>1zuG &Bֻ'&*cp\4DEboŚ`ê aKf5VDXmL<;u]s߶;v@ӗ:l n|M1 wUw5u1wE[30ػ}ذ+p>%MdݥsE2K&[tBqSn(0q3CxRG0-Cqr|&aq4JjO) D@#4et]X^8x=LJ?CŃE.+̄?n}D*ttR00m4sE8N5Y*as [6eTzh*9%/ g4ő& ~8_=bULY[|ϝڥ]vMP1^іmfITkՋNd (-‰f! 9%G%oVk&