SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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   pI t$ ]/ Types_Tableaus_and_Goedels_God:threads=2elapsed=20.330cpu=19.720gc=0.264factor=0.977zXZִF! ]ŗXf1-/6vR[l>ۋZKY3;LBGc@ldvXTk.0u_h܅` U&h(o-HP\;wL/ τFgc vB!#V.KMkZxl{3E" , 0y8JVG0p' yJ/]YHYNs߄rcwP9Nd1öbb6xxu(nL1cՊl".=SG L&gtUCS:ZArsLMWi2/:N94o |NƕjYIw-"J8;۬@Dқ*|eϱnԴ0l|o{i0XvRNh}|=\ A >fҏ]Pw7e'}i["t6* [>ʋY_&tDYv7;|qgYZ7zXZִF! ]ŗXiɟyFG] p%ݍz1jiM齔H:wZq7cg715^Ԍ\hUde_Oouռ"í()>R=u%@]* 5N&tiB:EKD[^T(tYFQ[%8{ӂZQ-hX9G頭]~ꥱgYZ7zXZִF! p ]ŗXi%92m/zX#wt,mޠAZ^|@K?Bϕdq]f}Gy! ,҈C V"Ͷ*m !tv 62 -JXHn6 BˀfsbX];a.S_?8?,"(SSAMf~-o~-OR6:H132:ͼ8UE[4oXl,nniiaOaa-g/UmpحZE:dr9|~@<*]=)b1m& 9O_\٦jN{[Oܚ6峝K%P;NLw mw 8)-A1&%H, de:S3O6FX>E1ӬhgǼYvŪz̞>N`Qp)i_[EA˥sV&5fۧUBS2"c1VORD4v$¦bL*kw‡lcLj‚vܲS^1J- Ս4zؐv {PCHЃ]eYPǝo۫cZQ5D璐@i} ̜3YHǞI5F7π=k&>~όmRxX4 D!߉,Z>:hpn/4Cq+  >IPRo>xP,4&^&0 /]tC]lr訝<ƾպRrݸu&Ӂ +~"gSζu\DUp2 OWqK1Drc0_wk)t=+ng-ޢX!!ia}-\ͤYQ&{\rM|wD+zng1+HS^N1Woyh1YO,u Pk=B$aZ,vBIJ,T)؏8f1B;REc4Rmo'eF8U"U vhKg4kbF!lߦt:|- +fgÀ0&ЕpaT=((pC* A_v:Ln=Ł} 6j:|󛽩lػc@o3݇U+=<t 1V7Na^`~/%<wh pP}+:C|: 6zrxI˪% %05"3Y M| T"Km+ , fGf0=rkhU'.xw$JȪ!6}Wy2&F0G*-O!D catύn3Qqi޹rЏPbg:asD w%?B> cV lcɱgYZ4171d2b77a73fde32264a02e48574f5ede5fce6c0dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a !I Types_Tableaus_and_Goedels_God