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 99DI $L ?/ Types_Tableaus_and_Goedels_God:threads=2elapsed=22.440cpu=24.028gc=0.256factor=1.077zXZִF! ]ŗXf1-/6vR[l>ۋZKY3;LBGc@ldvXL`5~L4،UIrף@+X#`,.h:Й!`{ѨOY}XݛƳ@3S_{kWGjCd:N#nBxwDhi vk5}ο!lMgK银ȷ<73wNlv(MMs 5j']vd6dʱ{;M,B%T_ 3ۄR}wv!cKVyE ȡ4]*԰#zqpU{(!3A׉8F9"a-{֔L4jx8S)94HAn˃->^ȋLZ5T!)On}#IpEHU];\V3KcK$O֤(ټO"6zo`=p:e%=#5 XLmBHIkP`ܷ\,:YoCw"v )g`WѸSC>]LH?fĪ ס%A'kpUIj%K/n9f9a -hP]Uei=bJgYZ7zXZִF! u[]]ŗXi%6gU vC Ec)ÐK]Pn#)~7~ҵo! h{lH۸/I\FfR_ `RYs#3x& E3[4 &S7g39^_)Ud"1AJo,wYN`; " WJL q<1<*: lF⺔k$g;_h7DVD8{jFEiL#u?|X.nl/\mL 20T_E#j-޴z߳@[3Yx Kޮ?݆~g6y,NX˵mHLpn%~0v~;dΰNQ ŐBȑskƬ_nFCxjk> (d7f0@xz|0x.iTr΄ђ!Jj|ɂH󓍑YlVi2+18-|'*(Kퟋ-:C>TG?2[^DnJJ7RC[Z\?ö#,uvHݙ<\_3Z'5M( E 5Σj|wG:9>'#iW`6@.`D,]"pnpIkr (CwrbyZFw]"K 6W[Nq?h1 ~l#G b6u&2p/`gl\:xiG#8b b#-=dEڽgZ4Vgcy8V8Xj8(\ȐKfR4x/k+~ZШ,nt_<1lv=F5_̒"o>e) ΌehȾMwHOG7 Y2cFDW"w4.(:ZȩpI; ] GaN[=Gf.0pm'̻cV?8VXMi8Lov #xیN*"z:O{PukQ YM IK Sq eN G7o[~V&ƠdQ395@>{fOI~^qDzHe֝S<M畈cR:P%Q+E.FeSS#@6yUxaA Ap]ATwu2(%Z0Hٝ<3s0狞&C3)XD(a"U {69qVyΦ PqʇPKw)AR<}jX8?!jgq7bf8ԝX'+oݎJ8bBUSmb|S4M^+/5@[1a@U&T[_LI P$m#51BgKi_yB^i=;r[]/߿`5nt}ɄU5 /[uw. gYZ0ee1da74dc26038f9d330de48ea02c5270b4e51f 1441a0c4518ac1992fb55b3af2a7f6bf7330e16c 2233358fd06092100c018577c0e26f0e9bd51d5e 23330bc9cfcbf3594b1244b2efd887b667728a17 49d8d169e06a8a1176093e929235ae2ba59b0fae 5e44d4497c09b168a04214f71ffa6ae664544832 70051d2adab6c377eb075a02813092f11631be7c a6370fc82b658be5961290b9e44657511e63f929 af91d273a06230c3f86cf963cc7cc2a59bfe5e26 bdda8c4a7c9e6264b467df44cfc79ba4130d4ecbe4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb !I Types_Tableaus_and_Goedels_God