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 I $|D ]/ Types_Tableaus_and_Goedels_God:threads=2elapsed=20.384cpu=20.384gc=0.200factor=1.007zXZִF! ]ŗXf1-/6vR[l>ۋZKY3;LBGc@ldvXL`5~L4،UI¨h=ƬTeu|XbM{2Й%LJN8#b":{#2MZnkQbiq&QW}M^O٧ԎjI0E} @pRW6M.IWy4 L1PS%ScC#BgBRTy~ KJ(ax'#lseTMW>],д'+`LEV%Ǿ2Kߐ̒*u}_jЍUęc=`%sy]sP(ug6-\v'vם=:D PLu;r8{6ܩGQ!x@P2Dd\] }O Qb; sgYZ7zXZִF! ]ŗXiɟyFG] p%ݍz1jiM齔H:wZq7/U,wi)yDŽA'DݔIݼw.?)t_ ׏"fFk~F6Ec OLGu0n9VXJysL&:iQBYNbL oۻ"gYZ7zXZִF! l]ŗXi%9(PM1`n!OTTB\73x%smMʧ2ɶ5I%xpt^&]Z̢gMJk<$L"%'q5E × qI]j\XvX-շ5f9i|78еg,vOqve~R=5F6]|syi+Qwgڂ$P ;[rX1rGNw`3-ssSsNf6oqֆݒc; %24;ُ;8ч=~#YJKiGӞG5?9!0}<`jE~xaҗ(YR|~,C[;&yu!eCYKaDxA4'S'Z{ E~6S_˷oWUB$8~1q13C"?L^WiT3Ը$0Θԃ03XdzqE}4@!=p0zLfvsŁ*'Hs5qt '.,x:НT"@]s >a )|V_?eJ5}o). KZ8%*l<=iri1N9{xoAgY';+@u m;=kii: ~sv<[z{pMSjQSD@ 6WtTR @ q`EpXKI£pMIMK-'3'm 9\/ Y.N>/Y fj[zz8i2qVnUU *pJ[ĜMPc69@>ς<YNZDZ/!׈(BEF *jלd @kgYZ65054ed5228bd9f1afdfdf41cfb450f08b3a5f41620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 !I Types_Tableaus_and_Goedels_God