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  U+ | ]/ Decl_Sem_Fun_PL:threads=2elapsed=40.769cpu=77.816gc=7.528factor=1.917zXZִF! #ix]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAgca{Wt*Cd3 T%bȷל6$Kii`Fe6:I-OŢaI:A3ӷ6ֲʇF? )}f/e*"nU!x`Z≾;J8|E~eM[{@ |X>gu3I;ͽj3qqB=sԹ&vHRVٗpBu%{Kl'N&r8ӋLQ(+KӠ) {­^쪎f*D%Q]KZa??pX@F+ lQ ZZ"Juv8d\ڭ l@ ׁW]S[ o$Ko @ sr>몜 OmES ^b+, qBd8yPws̥- g3@MeYL߲{F8_*r_ z(LdD,5qxwT JaܧtWZ[$eW$/_7.AUa/ϔ$ YF`uLNS'uWPv4(&|(Ȭm.-/m|L^eLU.,Ϥ=ǎ+K^(=aQʣRdqFxtJ7N؏)n?`?gڇӴW< s&V $e}o%Ĭ;p},pDL1Fr=?k%B Yy1yXZ1z񷪊^?,F{Sۢw Nӓ)QWHswggxARiF',y FײggYZ7zXZִF! 9]ŗXiɟ1˦r~KunύNN{㎸p^LntkǢQ3M`g|bD;[~9& I JX٨ea{mjXYtҊ){~\r$x9Ƨ퉠L-,6 f$ 4oGW3:f!#nL8^Zik`#T|3ؽ'A.ЍHA>%bp*f8e:odEARd~\;s 9#rIEyV7: "˦'ycu Ad(eqt<>1H¯[Ay)=|lZz(kfR=/iq&S8kartֆc\ɥ}@+Zr2V gl*Ҽ#^I~NgV_!d:TJF386$j^lPÐ)(қ~ 2ͮ\E cݑϽ.G=~U3<\ȏc6FH+`?Vfb,KBàk؍Ƽ5~yqׯܨZٖ䠽*$l<[1\cTS;I1VO0lKL8 $]՘XV=;.l{HiYQG]u K\?_䬂w%c"sk9Qz7nZ^}wK ѽCEk1?/7MP쵮~m+%=yI,?:LR> ) 臃j#s Aߴ˞qis5"^ҟ{f "^OZf۹[ dWs ̎ZteŒKդ<aj,0If=gSZA|ORNW ,R 6n'um%3u|~s[^V Zamجnn{ގY{y@r-/:rLXEKgWoPYb_&:s3҆PP8_ _$|i,EubBÒRgd.]*J0ߩ?6V@#TZ,\ ^Vh <Ŗ)8Uo?KOr;<\&$|ƭ.L\Hqo)Εrʦ-V#FNs,@=dGi0Uz;õ.ԯl@^{bd+dtgi1tzf Ndt-7I[{a6t<7g匕Ex/ x{Z-%bG,E?2q sBq:UUeֹĄA?6;AB>`wq^;`kjJIbZ -W:naqExIͣE f t ydoĤ{2#."Km!26Y|{(\4r~뛤l&ȑf3]i, !F ,`V2a D؃ {}v&-3VMZ\a6~j %J\ҮO7 8`~,0lLkaAn^@o 259|dby9)-jf9B-JkQ,^ǚM9i]S|bml(K!@#|e.^74'r¶QYV>