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 GG6+ <\t ] HOL-Analysis-ex:threads=2elapsed=41.312cpu=50.092gc=0.488factor=1.217zXZִF! w]ŗXf1-q恈a.W-cFM}^ׇ/ƶ *{:r 6l,LБܷaZt܀hw^&B" Icw·wjI78G[*T tNdo ا㗷niç=Q {NBvRgonNIγCS) H 6nvSÅvy[~l6Sw%gYZ7zXZִF! k]ŗXi%9(P/ liBcB]%C`c,0\l799#xEBҙC hqF3'A`+JŹ8($Hsb;Tl<1jw{hf(D4 :^1ǬŞR'!a:0dd;FK/NKIioCӬ>psTO=2bSp 6ODiʈEtqNUt됑JmEu&G~F '\pZ+Q uA_y cHD|64pχQ%ȂK^`VhɞS:gPgv#- ιE)ix$C'i $ |qg5X5fh\*:[=YsIE93hڎ516>v="`w=)MD/p4(d{r)%"fw_৚p+xܺ5 }S8=J+ꓴ$vD.Y fpLS[k8n80攗 ƢϷ~@Ucyo |U']K!SVE?uBAsٞwi| H<*YN>}8)@j#:j\xr-g)80cfE6YPo#Gs,44ϙw2P!>`-! s%q|IN>g ND8zWxGwB!q`o[96f~$Cs:暴< QfѬC4LmCB t F'Ɍ>f\+t 8b_! Qc)z9o8(.%U>Ƚ+S^~pe o¸t }~I1.aLȯtz.% ur ܺHjJ6"SÈίhM]0^ޕ4p* w"-$U`k<۩1(5߼`dħ8BKhDF[q֬<iYVςH%:R(I pESRg3\Vm8,G5 x# ZADZ0(ɂX1j%.O;+ּҐըSNH͍y&Xҕ3}ZBs 9VyZT#/9`C7lإN43p?'fVpF` Sv1h=;jOuy\jCjZQcEs]ȃjA'`GGF4wZ_(] ^YrHّҭQ/_.>C~q$jrn?mO@/) %-LV2.k5>'i@DdLwZgYZ129a889d22bda274a2e683a944065d10224eaf6b5f6b46d75794d7d779141526bb8c5d38bc06bffe 14fad242a862a8a0327553b16251c149a42b3da2 3dd13929e79c45a8f3f50bb42ad9417a055463bd + HOL-Analysis-ex