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 QQ,I D| ?/ Types_Tableaus_and_Goedels_God:threads=2elapsed=22.677cpu=23.968gc=0.292factor=1.067zXZִF! ]ŗXf1-/6vR[l>ۋZKY3;LBGc@ldvXL`5~L4،UI¨h=Ƭ؟>B֜_Ǣu$ueu]|zrWwo30S]!~fDUC%S܇ܣג fBeeXuTpGOFϣWv:&( exπ1 d\yAk#(wȷ>ygYZ7zXZִF! w7]ŗXi%6K1`[Ue|AȭDN@'4k:HL| n>8Gtw]~#\V'72ٚHO<>0SL,ki~];tDx#)]yαK0$,L90i]\f=Q_k| ;vH$EcXjZ5Mm@kئr22">6Q\Oo[~wmǎCq9I>Ǹ_UE~Ծ*q1Dc|3&EChop{UcrMᨛbOݞ]ejOX nӷ@Kp1Ql~ #*+N=:2Nj_^6I$PJ1t^gVT|K p7ekR_鼀<'69jD"8U,p̗ݵQO GEx* 8L&Tqb1C~ 1s%U }ՃBP9aows+5D㹑zt9gy' u\52nLrHpRe}ǑW$F5׶p×/H:N 즷z^O3^OP=aɫ^sID桕"̴01=X mĒ̕fͯZQ4S a= ꯕUͧJRHօ/o;E` đ6{ ^=!Z+ ]i ({3F["M x8n26Bg^pSP4٘4f(&G1YJ>cV>l] P,A"z*4kWyOHl`|񢌷"$}SHXh/?V.+ua1fbի$w9R]|jcsJB Z2܀ͺC7Yt+y3&J@(4 yAMvTc9''@}KsF*; ԧ=QzC ńZ(Ѓ"&񅛍 4*Sʨʅ]g\eܱZ{t#ZvӢ^- %MItg\ 93V*LYlz2#m@1OgE% z/WÚ3XDkׇ\(JRwWo(~QO[tHC ;>ϧ5 PN( U QbNmXU|55q:bfpRex{‚mm(e"VzZY.D{y' #TXFQ&S-DZҧ9ܴUȼjQе6fws`bKsf ȀfgYZ0ee1da74dc26038f9d330de48ea02c5270b4e51f 1441a0c4518ac1992fb55b3af2a7f6bf7330e16c 2233358fd06092100c018577c0e26f0e9bd51d5e 23330bc9cfcbf3594b1244b2efd887b667728a17 49d8d169e06a8a1176093e929235ae2ba59b0fae 5e44d4497c09b168a04214f71ffa6ae664544832 70051d2adab6c377eb075a02813092f11631be7c a6370fc82b658be5961290b9e44657511e63f929 af91d273a06230c3f86cf963cc7cc2a59bfe5e26 bdda8c4a7c9e6264b467df44cfc79ba4130d4ecb238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c !I Types_Tableaus_and_Goedels_God