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 % d< %S Sturm_Tarski:threads=2elapsed=20.982cpu=34.216gc=0.504factor=1.637zXZִF! _]ŗXf1-/6vR[]S#L35Ά%.wfnMZ2PzӪ܎|2c>QJV;kS%#ڗ+j Nӹ.2V'Q¶:iTZ \lΒDtr؋Wbru|a;Fb=Ţ&I2 jn]_x川"aa7Nk_%m-!fvX|C :{O h?b|I@y6`ɩcWm? +1-!̌ʩNƫZ9zOU큜c/ ^J4S NL뽁}Ah^_UӔ z)-0.B錩!z?F˶Y.ʮ5T(hZV TLS(lz"ۗ)D;,}lF}ޣ)˔f:/wUꙭ,]*^3N¨6I8FHٹaE#Z_ִ(f2!Ʊit $9͂ Kݯoޏ8yP2%SYc5z4_ֹNΉg[ԕD/ST*#6@**#5 *?R*bSK#ܪI0 +uh9 ~P' P>=( Ncta-D3l9Ă[De dфfAǣcD؅ ,%3BXz)F0w$cP ]l^yi Yߐ56Uk^,B6\vLzLŶV(d~W&U8ܖxPO]2\:`YXx%驱h5C-QI|ޱȿhŽaZ3.N" zcoǤWAy%ʰA>.V7cVjJygd#{uʼn, )2 xM6;Q׮Tt}wSJ( 0ۃ*Ykݳѐ4ʢ))Sg\)0p[3^vǂW-Dɽ]沽 w_ -KΣ-{%I'cJkSʼKnp(cD/m]D0⻈G3ZyCƄ>uw;ʢ2"/UfFi(~zjjP0EZ|\~"&ձkdtFGr Us ^?<gJ;՛Lkx{U2wMGHė&Og'.'=&-dAOEv[h\qYu(}5l ?/rI M(nDˋPku0|] ltM;jO`4@ ;I] @:K=Ɨ:*:7 L n~>t;l~ \j^u(p;Bp@0NfJABg#S;g@J u4gBeԗoewTR$݁cjyܹH;[c+x{o gR;ԤW7N ?P}x2 41-#ҁϠ' c(gYZ373e17a74a5d45401c95237fd8ea5f1c9a3245c0 7484ac13bdadf5d7db4dce48410fdd5e64a042ca 8f93cf5fe04be3e267c8f2d2c7b05cd3d346f05b c717c73f0a67903194e6112d21cf74647899fe92 d9c238d1006300c8d53bbc0550a820903309c88c735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 % Sturm_Tarski