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 ^ D ]/]HOL-Word:threads=2elapsed=25.278cpu=48.204gc=2.248factor=1.917zXZִF! @]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z O1`p b'ۖfB>$0ǏB%zhZ В;X29,\ fJ' (P*~n#f إx"J M>Qilly= >Ǒ ^Xq%!\U+^̑ [[ˀZ tI$ \Ɏu5 "37ś Y&dsD׬:[i>u&EE`YB.„ y˝"%>*JOk昔JK,0OOy$l8mf4ɓ}۸7U~0!DODFZ%^dq'>J[+5ә|/և`z&{I IiPKR43g-⊃ vefN}O73[hV_Q Ə/<8uC@u(z/֔ZLBI Mn?bɍ$=DD>(Q-6dTp4l躧]Ki&vMrx ФuTZv r35`mTH+%A'8[P̡rco/M`IU!m@{V M>HơIJmE*Frޛ|$% v85bnq*JM92Z~?+٪Nmnm;(/Yv#r&hggg2L ߲| ܠFNbBAR D ?ht>ϫygO Y6C@kCRMhzaLPSRTv Mg.ah SxR~=.eǚcL C@EŬ 1s(?)8o 8]f;!wGYCýaaʀp{wշ^xrKo=9vj :^(S7sndoǼqSIjnSf:~U:Sjmi+teN><8lc+.3=!+b<DkWyoh0Wp cQ:[~r8M.tunٟt;n$oAU1#_0>%kݡ1hڮ_ i͵h,2)> 4oa7n/JK"†'wϸ{%j6,9?.S[?\9)9%|SB"i ε閍o s`B{r>dl L/3f%/oކ-(uϺ$WFH"RFYqI҈)_UU/*A3jGnʈ*1yjLE)x{of!޾qK_>dk)k#۹̼X )T^w #o1QXBs,fEKdDQ; 5n@aǓ' ?$D;tڭyeК|TgYZ5981f3544d25421e08939352dfabd96c1bbbf60a98dd477b080148668828b0f67c6e8a1d9708b3f3 2dc2b5acf411764d9a49dd03e6f20aef615ae67dbac001b6eee0096f18b9efa5a71069449d55a29b   HOL-Word