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 MM0I , ?/ Types_Tableaus_and_Goedels_God:threads=2elapsed=23.551cpu=25.076gc=0.324factor=1.067zXZִF! ]ŗXf1-/6vR[l>ۋZKY3;LBGc@ld6C@kQ弓m26Njv$ c7ݧpTYc} }?$Q1vQȆbNeq+V ()XLrj0]&:[( B@=BW㾒N܃t} /cp5WUMQ9X sGaT 2`N7=P ڛ8/|*-K9*nTӓ*fpG/";Ƌxgܩ4 :J=?b& e g]wH M;UYw4h`tvS4(B_FY,r<^ 0*[E[Mma-|z]֔ zysM+=uj^rJvDG5vGfvEU;}@`ҿ"LgU|.M=ZObP(cgr Ojc;af_<m6W매QcR4py:^Ps| %W=gYZ7zXZִF! zH]ŗXi%6xmofi[ԁ$7"bʥMҁd1ճH'yfV`vOlHUD ÿϫhg@ٗ)vCGbJ1XQ̡ #xn9c8֜ CfpiA-73Ta 3Z,twۍ;,zt//^=+ ~U6ãPSIH"CT:zC7|aV)kV/y`_tUY;NQ/W4Y)|+_ rx B½H {EcI,1P]Dku[kU]_E(G.JWdgdδ?Ɓ3Ϟ4b/`?u@mhBwߧvDotgͽb-.4{e35}=4*]E;ĩ'ΰOҷ=qZu@)8Uyo=l:J*Θ݇{/kvQφݽnTnDqUM!_,?Xwq`cw/"Fzx/`k.y-x%6Շ%`~>Z1nj)ٯ?S BX+P=KPȍݭHpaq]s, _3|R.d;)h,PhlO>UȁÔ=ĕZvC;F5*;#JW@Yt~뛦NWUKg-{/%~9Jx~#ɜV^\zztc[N[0:A! ʢ2=2)شx2cp|*ON vzpA8u@g <9:IWo癫Mn-@8bcfHbHhF&~"j 24,5;)[-mD7Unղ֚Q۔;!W;P|`X>}[K(ocjc. ( 8m%}O#,et3f 7 *':8Qd#hJ?P'I 5U#ώgS覂C  mgYZ0ee1da74dc26038f9d330de48ea02c5270b4e51f 1441a0c4518ac1992fb55b3af2a7f6bf7330e16c 2233358fd06092100c018577c0e26f0e9bd51d5e 23330bc9cfcbf3594b1244b2efd887b667728a17 49d8d169e06a8a1176093e929235ae2ba59b0fae 5e44d4497c09b168a04214f71ffa6ae664544832 70051d2adab6c377eb075a02813092f11631be7c a6370fc82b658be5961290b9e44657511e63f929 af91d273a06230c3f86cf963cc7cc2a59bfe5e26 bdda8c4a7c9e6264b467df44cfc79ba4130d4ecb554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 !I Types_Tableaus_and_Goedels_God