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 nn <,l ] Tycon:threads=2elapsed=9.367cpu=17.388gc=0.720factor=1.867zXZִF! ]ŗXf1-/6vR[l>efD U9gY(J!}]0Vvy3+JF ^pX|%RMF =a7bZ5$jM2X?i0XW;7/Ç*Ar.K65-=/5̽",Պ68^87nRlɴGZ?g|NJG2әTݙ[%5]K4V|kZ9%'^iꟚ/( x&%@rLxhm vgC[#*=!Cz݁X㧣?$WR 6 X-Y{GNTX0*~֭7DG[xnT:}=U-X#WMVZJ*MR! M&ac:'ŠhOԉ} 9"Qudپ.ybYQJ>1Zx_OnsVn0rG-xXgs4/A}vwIkT!6.XakbN=xAv;=- /(YG4{ --MndVni1{RE)tS~A # EgYZ7zXZִF! 83]ŗXi%9(SNlwsYgcYbژ[Al˝uKB_ڒT^(^9HIyjw%.`?)&+h/>,K f(!w\aP\MqD̑oyp+uy҉ *byQ>ne싳q٧#m^rI0j1NjXGʓ=M6TjaUs 鐥E4:"cJDp|m|qz3RHm@dn Yvnȋb2F&H/3Y"Qݳ4b+s ߎẁs_5֑[SYpR*r+Fn U]7䁾q< beYY8mbXqw ɫJ x\>t`n/@nNk(Yto: ?O/iB>MjX:C!EDxs_`&e:aht#P4 zeG]"(C[V@0_Zlq! SF `VtK`˪W%P1VpgѱgYZ08f8cc6f30a25c1dc9dc97d231181f391a2221b12722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 3a17c0ce9290c79b4fd8792ec0f608bfe9382061  Tycon