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 P1 \t< ]/ Recursion-Theory-I:threads=2elapsed=16.080cpu=29.044gc=1.484factor=1.817zXZִF! ]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ ?:oHƢho4VaS -rW,:jr;wGgWB9ڶ#d=λ`grV]^<~(-̔7NV|< V Os$-oo7qE#6'\!6*v?}A=q y5h{fXk[豝ˆd(t#{qAik po 6xUhdܔȞOo"-ǜ ?EA7ͰS@JWW@nb6TFc[!S TŪ䋐ذxLzR)}Pe9}fwCP?G5jEa^łgYZ7zXZִF! -]ŗXiɟi /-v!NىR!`vsY|Gs^0$wR%3ax"M^=]#'E~v? (}ӱ8]/$!k.cE6xSX/,Xi{̪؁H=B~xD+Yf5R6gYZ7zXZִF! eV]ŗXi%;Չtuv766"Y1/49RtjPJ[!g(ZK6ِ^Py0Gm޲bHxVL`kcp3NEC@zvЗ@ >.L(B/蟽?(\,X2(ҕnؒ-L_Jס(Hd:49!ήOmmbdܑfT.<Gd}Gdc("|3Z;tC&Q30c-1EziRDw~~Z|س+y#叾džlCZ9*ԧ\p)b. dxjӏ٘b5FCRcv/hî e% G*r+UH[˚ pj{ +,H@z{}WǍi$wk1!wQۛӢ'O(HHgصZe'I ~WQ6c0ugDۤÞ=ے>!)GJg8>跄`iyns;# 8:Fm`]W(D`(3?Ȓd) 7խj1zy/8P _ZVEt8Yi{YT %߃s۬Ax;}T4Ni'ۍ2~XeMVǓ:j Mބ rOe= تmRE^\Qdq峯0af0$Rw6\j@/qPڇpYm:ũVX'OFu~JC/WˆmwNIN*]Xe1;Ege行6Vh{XRUR ԔgYZebcdac509ee073b80f2783d5927b300ca32901bb79d8e835726df87c7b301a8f091eddccadfabbca a29a84bba8aa29c804c447ecf6bc83360b3be33c 1 Recursion-Theory-I