SQLite format 3@ .  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  ] ]# Tl$ ]%]UTP-Toolkit:threads=4elapsed=23.925cpu=88.688gc=2.444factor=3.717zXZִF! )]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^S_ ,xe:[JX\fSyW(٨c΢':CihM߫"qY)#+WW٬ m^g L5$ 8tR=72_-aul}<1Λy :9+Be愅i  x*k>F"' ӋG:Hs]V/IB(c V_Y:yO0(Ăm.:*]_2Dž]6L>C·1U3 #CAU8(6o zEhe,,Gx|[(K9 x9e cJFko.eJj.1ׄ9僂0~})ggbN$Am*%N(p9.n×f[Nڌ鱑LY@E8cga/B=xQ1Wi[iGXQ$FT\FzKG?:B >'氛cΦ#&70iT\^MZv18%ex=<)"|`7zU6Nap38vw 7`r<^|U܌h٬GkG靉j1a d* 8v1a  aN= #ʉ M7~ۼx?sOť3ri,eKb S&0gYZ7zXZִF! ]ŗXiɟ.z+ j5P0UiMscUC 8vx {qgzg`xӒcnc&~[Y*OՔ#h>(u'5hK^>h|uc?Tol}׎պ9[D?,`8 ""w•K%2 ѹSV!]iT ;z^H;|>vޔ]]oZSbQV"!-2 ]y7ɽeGE u&-6gFR N;"O*_pZˍR/HLp~R:COFeղ6(Zg೭OoQq ةvI<QBdʒ5ф,(Lڣy"[Y9FYR}z j免bqKCO.k3ݼg[^HkbUԐH1CMb~!Z?cO1[*0݅s7[<9; r:dlJd]f_wNFFos1 Ӹħ p"*~OA]mIyYŽbt@k| c*{IaE %? aX aoO7E|`dٿ-a4a8 tesZ3Weaeq 4z%r3w0jmgwa[[}UPՅYh9C(@P5<{uyq:9*-:PgrtX$q j`^T1\{kD-\⌾oH..֤DK6dA O (w.+dN2A73;hp_#eDӟlUU e4Bгw ?oI:'KgEZߣ}<=-MڦllO!{~ 69f0OrDBEd Od60D7G.uOjE.8ybCD 5 FQ@t4v_Yɘ ySGޜҒ. @'{%]${ƈw%2q.\BFXq[둲΀ĞS"@ݍIG!.b}'3!Fgbwd1b Gb!i,a{@wV pI6W zNn_\Qj+lr!V1JsȊ"@!->(к:Sw.{ %k^Dt X7db^ռ1TNVt,XnUu'x͚0vS{+,$1d_ɡ;\3jϣ3gEBؽ^}tkuAutZ䞽qaݙxe!;4xU8 ᚕa-Uqc~|c` zG2Xlf nJ9DV,'{*YCPՐa d3uͣ~"A ò֑/5r֢`z&mƬC5@eA_o$eɄ. <*tbq_!22(@I+];opq#&wH_tD\>j14aE䲰r-e?MQnO؎Q?'Q i?'%GǔUt(ߕF5`?KTr 6|n3{7;[ 32pP[˂^# sw,^gZS· 7joZD?>}#)/,9 vgpp{TL n^*|-& l.8$wmj*{60vV4/Zc]jO|. n[oT dRRG4w(B 0o'?ö@ɭЭIcxM](*%S<;Wݻ6{ q