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 Q? ,$ ]]HOL-Computational_Algebra:threads=6elapsed=32.192cpu=101.588gc=5.092factor=3.167zXZִF! /]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(Adᰅ|8rHO3, zͽa;Nx k)h l~ \mD 6d6QL* ':i!!2(_B:V1O9oو$ul9X!//9cj)uS:vEPpbX@\L F8s-).<-3.&4dkI>웶Mfa)3:Ag> ? HOL-Computational_Algebra`ȼ)4aBJK0vjdx1|:(-,?8/4鋪ns}|tt2t頫>]-ErwtԭUA+?I=f gܵm;4[ ldCnXW!e0[ K)<{PM~AS$j U)>!cqV6~?gr{/[2͏ndN"S-Rp&~3Ru>ШbMPVe v^⽘X@rM^_Zga&S0FYw9:࿠a=h*CI#A6?Sxy]Bk߰88K t%hkְ#ߋDdj;7KvMakuӊJxWuZDMT>GvcE_*!ugG1Gbـmsڑ .=taBG|CJ!ܢ m9VfC vN0P,&Րv*hϸR{N:FrASh6 u9\Ew8Pl!,BTb?=^j zGW{S]CasI5e/挱3zBSvePu빖|[8~=ܜVURt <;o:zǺ ^~XѝZe,R@>ݏ9_U x2Oߤϧv 0ͿL  Kz&$Mt-?bIBw}`Ia _ڱgYZ7zXZִF! ]ŗXiɟ1V?Hrr#mm8}- (1UT=O:D އk&Z9d2hj_'q66M r R׻|q4I @ N&oB.D+<[-6Vi,U'¯łA}kPmL \`(pifjjR rÖ'$e ׽/,:yk8̜Z>޾{Q"p AgYZ7zXZִF! j I]ŗXi%96WFh$ٓ^z"oEQo@4D}7-؛Io<;_IsϩGw0'yX&souƉ ^}5-p3'v+P[~<u,q RAF<.1VB0tvih"A$*e:u`B̍4L{=%+ nEX^4ҷR>:⫌g¥ #7Qpd"^Bng%ٺgc;Y+ĀFqWN~'Q6j]%jWe|`2f檑h;fm_(ky1[h޺pc $K kK@7=-iW*geHҤBX^(I\p3Q> 6`.,lUf-}!$y(79bŴ2j]K+2%!rүE0phl wU$;ٌ μd=\Ov}zkǿ ,c Aͪhjl+T$BH:H|0!7wWwu?D, q ҖuI?:) "H (y n2FBxƒT[m*?'S>p7: (m:?K@Fbvq)*f&ѻ:"צP'HgtZqA1~K^A@[3! +?:WO g"QX;@v{-/wv;l[xgYZ5ceee3e2cff6981fe18964b79a79ddab216391146ae1a84ef57c6bbf74a3f57a85a1826e7af5b405 b8ee4f468bb95a631fa62beebd399286b04c8e85 737694e1bb48c4c9ed94ab728fdc9b375d4b19e09ebfd4397781efde9487b7e5997bb58453e7ae7b