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 YY$ trpϠ.+EU^ 'ar)^O7lhY)+R2PALDq襏z?ӢgWKzM? l믹.pWV8_zs6OCom~84[)b70sjs&CƓka>1aWN?6 uVVɎhץ}NFƶpg _*!K P lSlz9DX0fyVc07v|lq;x^T;x ;V(S* 'sg|`Ul,i6kGT̅aJh󵊱.Z-t^}164dJ[:haߛ>}вA n X@5[xÆ| #fs a ݮxklBCֻm|hٕ,RyZxn/헡ݘ n̘e2'燜3)DZoRԧ/AOJu 29Bw&E/M[oo9ba yx˪Y]P0LI4D$Frkn$_Az4FjO埠8q>mΛU3Kv\ MIdŷ[w`);"ط@0+R8E!mo]6:^9aB3HD(WNy(@]ggYZ7zXZִF! ]ŗXiɟ|OTg[㘇(i/ /,LEhn̺dL[@V_|ԖE~GѕZ) 6i:Uv㸪uC>JVtljC#i!"o86pM0r@rMX"=mgYZ7zXZִF! o)]ŗXi%ES3Hf POEVN[R|xezݕOضb#+Ha{Jت\*TZ)՛Zc8ͪ'^:o9|SD^ UbT]^>4 aŴUHùp/H.{齰"H&I7;Bqj\'*M4,&d^sڼ|n&Q!ݫXi15Y !q &. w@^l>|UuNkUf: H>X'Ϭ@-LZٓkߓY8`xc'M=*G WĨX}C@@jp "Vz)n{OsgWCO$H?o_/e;y5.LQcil, 64*]q<`\YP!7v?ؖG o uI}-sus&Oz=/'vkVzҦ4*{TLg8=( a onp4n1~Ys7ԞqT(w g8[<h\o=>_^bCǪ¤ WGy ? ">^KH\g*>W%E+N:O7s(2`4$bp wU`,^]/P9fYv,pXaumde-Dso *W8F|̡Ѣ3'dqCi{:2 h^eh)&we(XH^[юO"H˯pffne0jC"3\խS;ᯓ .K%B2WsLXS ݵ?, a-i$K2ϼO4P9 U@T4_bb`V[n 'C)]\MJ%ZfcEq`ؙ~P`Ң(O+V@ͣ(dMuœy;3s)DqulM 7E-*:HѨA~9c1*TSCX@ynC“)U'};+Hv'ub6\O}$ACL) [Ez"NfEU$?W;Ǖw0*6JqĘBO&adXyזlQ#.T\٨xf.M|RC^!e#y,WhНC{1MS!^G l$@5\`{6_ FȸKϯP 8Xů.ed@,~ȯYJ6"8:K~J[%*N>O ;x3teDU(`JrmfMtaaZUouVN+B^wݵo>?rIXьrO$O8%^fe%q>h&Z@c} zR@KUO7/L# Z[AuMIHQfRkcΟK:$KkMC%B2\UEEH}F^]1luiN iф'e{be9e%(b=pga ȢzγV %_J. g+&6gYZ4e82a0435dfb5cca27abe52e872f735a1ab7debf76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 0ff48414be6254b916543da6ae657f1612bb69db   IMAP-CRDT