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 B d ]]IOA:threads=2elapsed=16.552cpu=30.840gc=1.288factor=1.867zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K тeV%F>USUC/q;U%^\8sLJއg֗2jrJ P BOE$Qʾ>>{yA=w=U/CF 6Ҝ iKykV44Q$^3(LY}Nr ~7>pXT[)*>UdEKUѵLࡰ LJY'0uV=}d$TUjǛbv1HfiWq621ĶX89Iι+E(sp<xG;xZ[C֦W$/Q@MȤd׉KKّ-N##'~;[Y3 bs̱HϕḑAבrJ-&៱YqM+?NꢈZVjBeDIUA >QG< 18rԓ?*k\4c+k8s/yR1$M/ 3BgYZ7zXZִF! O]ŗXi%;L%cewNa!K xs$.X rD" -fmxj\~SZ|gN-Y%ϴXT\^J3y1#h}('(xgW>%-Eb͛iE rr3S6Kg,x)!7JBI@g kgCZcBw-_W`H`3[g,V_4qh Po0pa.˙'].D&.鼋 Dd* 7 2gY۵-Egz<.@ E)ɯ9LUG-sh]ŞyĨŶu}8g|h.$`,+P(gXx1d۰#alQH?\-YDBr+(1h6/gc3͂#r܏ze|yg %ROk 2"̞]%yt chl[ݢݐ78 F52{LJRhEь lۊUbJlj\)|;鑺sb_@ZT>]bϬLH̗/=?^fG [HߞkIM˂ט7w!&l:v#Wlˋ"28_gs 9T?nU~?I@l2$f* {#L=_3jQ}cEd%YqFeBvzfv<';*{+|Af׷RcS1/^k ܭgYZ7bb93959dd8e93cc906dea9b58422ffc6e98e07dd2fed5b8463a719e2f3fe546c701ac5c0e920ab5 cc137faa7d41fea458e730d08d19187f36b2fac8 082832ffe1a61638d3b69749fcdac631ff06a3d850cbc4cd83f452c8876cf276c9b88f99650e5f33  IOA