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  , ]/]HOLCF:threads=6elapsed=12.517cpu=35.740gc=1.908factor=2.867zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NV c:iN1IqS5tR+ *JLwS(X.KQppVuSyKt;XJzLUV`+Yyt}kI{ٳg FU_ݠccJWj'qQb3|.DJ#*րr܈=^z`;n󣏝&$:MPnJECћ~^. H)Yx6r&ѳ}&z#'nJ:%sY}׃T>:XCLh1].kN4Xn)> .Zh ̵`@`qvm]@_C3ZLRV3Wp*YsX6&wFL+wAtdz5V6dmgSmjYeMR=&\/ڽbKa. ?g (LIŢ 4I9 (o1[WL>L6,B*){8!J|7 {]潵ZPa 4WZFL"/U7̓++Ώ2}cc!yq{.Œ!SgYZ7zXZִF! M]ŗXiɟ>Ӈɇ9S2]ztjNpBI,RʀJ_[H&UI ԃUȏ2.y̝rw7FȓU,#y# )D ĮB8.YtBCϳki=}'ݎ8CEyB!={ͯQOڈZWs]lSN<w%0Y[x\مLwCI@&T>PȎ\c(`zkOg,B\?c6.(@7࿃ '6B:n4/fBjyQBs\3nج_Q10 hvH'f?Fx!2&}؅-wU[_ٺ lHCğdwHƮV ᩌ(G%'-NrQ4$^vfoht=y9eU$URl25&XMI`}h&NBk%aZ l@b7^p *#h7V‰Znclu6F,\MzuP.ޥC)<~j'wՄX"&$fTDNhx m`zێ=+g(/\/â2d$,cU"ѹ,sY*2IO՞EEyFaLA! Lsxf5ruV*di- yMنWB)z5w٠$ƫolZLgWXsUBy{G~*Nd2g% \*]̠_-U%GÉqg{ Ty!oc6:WPQw}I7I/$ɚlj侄Nӹj"n_ z#rܱgYZ6fea3991dae2b687f9680adf5f1f2529d55104ef1557763c55026864eeb1fbf92ab3ec60267ee348 5cf7dad23d1e903fd6eeee54e5217926f169a0e416571d71b355980d7204c9c0918c4402fca75ed9  HOLCF