SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 /+ $T +/ GraphMarkingIBP:threads=2elapsed=26.627cpu=47.960gc=0.672factor=1.807zXZִF! y ]ŗXf1-/6vRZ"P*nI۴UyT,!W-+lMD:#2U,%~ vjRB{Q#^.WkKL4W~$y3\@j>ha:ӆ@эt=5H/ XV9JN1-IF )-'stQ2ajTKҳ&eq1& r5L*V|Iͣ~HW!ԅ&{xI1Zx0Gv3z)]2t5n93pͰ%tiEdǓU$UܡjfbۦW?¢h Z#G :.[{Rxaf5k4>FKq;\Cш!MsٴScou,rod98@*{]~(^yP:`t-ryJ'z*32Ŧ[]Gdqq]umW'ƏS$s-.cL";]+LqWN>cN&,ġ`υ%+껃>n} \xj;mDhA+1j5oN M|909ߡ2.XsIL,g9QC|/ WaL/&wa3 %{wˌ\{S$ۡY=e4W 9_uc37#-S-謙b`d"RpnۢM}yBk,I'~3\T?"򳠬piA[F h~-DKL})9e${b)VC(2{rӕ@gj{,g?Zk{>  CTI1-)2{d鼓 v)H*8J%I,LaFFzc+GP wD,x ȞPU.s NgDҨo)s$V& 5j𼩁Xlg[o}\<`7Oc+Ok7hP򥾥`v ]~u+ ~:]3!Γ{C>l:lZ`p rL=cҏ٧̌R-L(×;V>"$TQ.V ~gtǦVrX E= ~qx|ZAb\xGC  :eJ|3IpqJ'~KnxؾغPL7@K>dB+P2Z7Hw9+Tu^dS"cZ1q.=?BŠBw n:23#B!w#:?uf]h{x(0'H졨gPn (dK@c& ()'I)<DjS_h/p~}Q#yv#~<{`p #gYZ1051a97ca4dba3e87dc5c297e2145aeb26f22964 2fa775cb15a07292c23c73502e8bef8503ea8948 508b2d36791ba85be83bfedc4df2dfd56feb8732 55b5593ab647f53d681191494ef1db306b4a7c81 756347eaaaf55c85fca5bf27d207e788dadd292e 862cf3ac8c1fecce1262b05b9e772d879c94fa33 92b9e9176524ff95e7cfe95462176a72c371e9b8 9854ac0e00f34a51c98cbc66526d7c94fc510ddf a61377a4a5503ba829c56f054abc05ee2e02754b c98ee4ea2164dc2e1fda68947cbbdf0953045a67 da59368582700ed264615c0ca27df948c057a4aa e2b063405e84056d48c35f74dc2f5e30c318a3ad e5beb664674ee70579a51d05e32d4cfec7e8991e ebb19963ce287e01eecd0a1f20242b5c859941a0 ed0255784afbeac0c08a5cf550c22b708149a89a f169fce37d50a4aa0aac9bb83c87d83fbc5d25fce4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb + GraphMarkingIBP