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 %%XI | ?/ Types_Tableaus_and_Goedels_God:threads=2elapsed=22.693cpu=24.176gc=0.316factor=1.077zXZִF! ]ŗXf1-/6vR[l>ۋZKY3;LBc<'7*HJ)lV(3(eh=IT}$S=+&=Y6TPe4~+@3e{Xh#о g)I94Ag2{TY#}#{( F.));`On uY2B.0SN7DfHM`]3yjGH{ast01E"<?96?IigYZ7zXZִF! wE]ŗXi%}ϑynXwC^tT8r`[SV4ZGsF_jӜYT-UӔ0xSB8/RN##|/r 4Dm⿤4DҐG,$R%L Qr#2ݬ!>$n<0q{T%#-$7dH> =m q}KǤ]Eq5fHTyf C>JuvJ@BO!4Ӿ+cDai 쯺EZaB6=)* ָM-@bJޢsAw9N 0Bʢ즤YJaqW: dK6Ѕ[Ēt'x `v_iIӃ~/Y଴qE=ס²Vl8~IJ7FgPcQJV%gT9bփBTEfg7,J庱,R*)߻Gvn$=Bh)®Δ@ >sЏ>(xj"#iV|QtP?lUu.504iQXIYЅj+` NipSPPQ5_N(TLZ*}x"8/e@/$ŞQvs*Ϣg ar/M5JBuD@A|+Xd5jxs$'ץ<5?g qT(,L`IGeX5C@T&XÑzI LaTZzY5Vp1AG|EF߶RbW~Q}~qD[q$ى%C^vwXu>{W2gc2k#?Y7NͼǂrDg8+ ۟@ a?yO:S TCP:y1A"lEVgŷ亭1)%?NTL$# Uū/ {9QjWTj$i8O@'%F'4 >.xJS^9/0`)hyL@+1!#I4QK.|cM/ f0 `ky~>̻t>* "ޘH3RV;_F M@[򣈊@]N5UX!+7 !gYZ0ee1da74dc26038f9d330de48ea02c5270b4e51f 1441a0c4518ac1992fb55b3af2a7f6bf7330e16c 2233358fd06092100c018577c0e26f0e9bd51d5e 23330bc9cfcbf3594b1244b2efd887b667728a17 49d8d169e06a8a1176093e929235ae2ba59b0fae 5e44d4497c09b168a04214f71ffa6ae664544832 70051d2adab6c377eb075a02813092f11631be7c a6370fc82b658be5961290b9e44657511e63f929 af91d273a06230c3f86cf963cc7cc2a59bfe5e26 bdda8c4a7c9e6264b467df44cfc79ba4130d4ecb0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f !I Types_Tableaus_and_Goedels_God