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 6 L ]]]ZF:threads=6elapsed=12.714cpu=45.532gc=3.368factor=3.587zXZִF! `]ŗXf1-) enȈA"tr-j. ZbNVH EiCG݊qp!.*E~R %3:fC, |j>r&rM#0{&rb"8A:'x7'PY ivtŚ zLR?)S4N/(~Xïq)S ;ujYȌg[N|Ý&ZwT( AILl}ۆ\Uuø;iowd`AVtXIW.=v,#{һ~GM7^UU,~a |3zG^ODTZMgYZ7zXZִF! G]ŗXiɟ 1FE`穵WD5+{&O\B:AA{&W<!n5L2bܢpm l_~e %C4;î  ߵh%͹Q T[v ?ֲ|C5I7vYbDDt"2htL(k&BzCLAW5F0[!]~K;ًU;ݸL/fcZ\dJS9>_ƉC6Sʗp|& 5Ghpj5}&OHp=mFyo]vgDz ?&9XGAK2MI y=Aɮ .i x댖3c/ jt{sybRz4EVJN/洨 j:#$J()#YwF H]s !T$[1"x8UUPP**MLZCS^Ckօ6GtU  8Y~YSp9?V/H@9lj$ׯRƱgYZ7zXZִF! >]ŗXi%@dze'֢DN͉'uMz)}=GKPqHj(L M pLѧ(ۯO9D HZHן:+t| %wY9ϫ ؚt.JQ$$$*a;].e\ յDAӈœ Z1BV'cץؘӔ;t,ӠXн@' 2~CCo|sc&*c oYp^+%s54'.)bOwYMCYžcÅ@V">߁/T̏ps` $G0phLʱ}W2[ x8 ԈQ޲o0/9ci!VGc| }l2dEDwJsIK dm XeS]ǾڿA)Og6b ȣd(տwU<J"(쭰Vhv1 n]t;@ $ŐkOP){Š m?)aᇩUm=xhLPZ{n:X}4A<#,b8 R )G9cS8[x͈WxX/ .Hb uO{k(3(/O'inLchxVfr~,ٍ.S9 ]r藍} ͬ\a|O9<=$płؙM|IjX l<"!tcbc+ZXx'._J$;rcr(eU2> itE;װzU.uyؓCTor<|ScYmOWNдEgN}l8BW\w o1UPyN%,^b+OT}ʑDP.9ٴz12(摚JAC)t> QTr6ēI X]ˊwx[!~9 j?wwfq|oBrFdUw|W3ӾuQ䶗o{ '߅N:~<@-H[t }҃gYZ9253fd4f3f638ab83af3f20411b204da4941e49a532dbff203604d5e2b7f0d350df2b2e535aa0670928941d8984ccee040e300eefad9f9cb055273a4  ZF