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 eeI LL ?/ Types_Tableaus_and_Goedels_God:threads=2elapsed=22.237cpu=23.724gc=0.244factor=1.077zXZִF! ]ŗXf1-/6vR[l>ۋZKY3;LBGc@ldvXL`5~L4،UItKu=':J؀rE:嵟ăܳr >2܊=M.)=ʏx"FtKןe^qRnءM`5]g6x0E .&mp cG+ҪrjHF|Wb$"\rESvc߃-)lSj% q%dIm-nI:Vִ41JvXR -BO~$IɀHZ*XBjWCuԖ@eM\f`((I?J|T͚(GGbI^9O v> P=-+\bвVN0d;3 fU()?ߧ/q-8, o캅y8ff<㫬 D]tm5:ڸ悭z;.Px50~xfk\2oDhPM-B { AL4=G sױSR(9˕5A8:|$Twթ[[ǁT;y 6xos Li-s5X 2 (i #lwűl{=肱gYZ7zXZִF! uY]ŗXi%6l֓uugFQnMֹ[}'W/ps߉m ~.XIל.>X4>};㛁i\=Q Pȷ(! J*ҟ,W MR{TJQKKP\; i3܎-HlCgvHlӧQލ".%LMF,K &xG%(e wid&v?!W΀$&AޭT3u^ %/X/WQo x33ADnuP+@ く|O~t^T*0 .Vtwxs;5iF ď^Zg@12"R~>$HVs:yOiM8٦,CAJy?!Yrq0bbN\χ E{4" 3 B[>|_;YDtk3ʎg\jfqR`7{7g륧2>OnjCK,:TR2Ib+ԯ_0ϵ˼*fR5G)!YJH QWxwI2ܿ+͡ɧ®ۡH{[ҰH@ޏ_ B-Ln *r߲`Np$cz.ػ8H#"+YZ,BI &m}P,)]b7~T:aٽuM3*F6XƚKO~&ۯö4Tx/*NpLI u~z2/ڄoyi`Bjtt=\6u>.jOA}Rb t k/r"%Y#QL##-jl˞;V^`i|[|ȴ]VAjs?]Yd憃UNy#^ek´R7B슝D֩X ucCDvye104;vb̛i ؉Nžĕa1i7?O8鱁Cdؽw%0K5x y>}*ډ/zdtJ:kƁ˩tS/,I6]N=?5D,ӞͿ<8/%{{ʹUI?: f4% N֧A*&#PimnPZhYXR4Kj n eXA?Q5&jnu8FWcybt,>u%^h==xC8rU0+TwKJ 0 4sIgYZ0ee1da74dc26038f9d330de48ea02c5270b4e51f 1441a0c4518ac1992fb55b3af2a7f6bf7330e16c 2233358fd06092100c018577c0e26f0e9bd51d5e 23330bc9cfcbf3594b1244b2efd887b667728a17 49d8d169e06a8a1176093e929235ae2ba59b0fae 5e44d4497c09b168a04214f71ffa6ae664544832 70051d2adab6c377eb075a02813092f11631be7c a6370fc82b658be5961290b9e44657511e63f929 af91d273a06230c3f86cf963cc7cc2a59bfe5e26 bdda8c4a7c9e6264b467df44cfc79ba4130d4ecbb9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 !I Types_Tableaus_and_Goedels_God