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 ##Z1 << ]S HOL-Probability-ex:threads=6elapsed=34.977cpu=56.632gc=1.780factor=1.627zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e1Dc`$_.>o^@)*?OSew]P,>D *Of-*W kn\@\|B 64T1]aԙ\,]-Ot(Ņ hEa}xdFHٖlS8tt,aIzH]iķ:h0 *hbyłrg"3\v@7=-7 B[q"2Tw[$]$A k\]+DcQWz\2/^jdn $@w`sMD_(b\ R`75~TSJH34̢]Ѹ1{Y6#G dVCXsbPH 2)RHB})NјOH?P3[:&>xa޻ԝLBjEUX%!7gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >Q>| RV(槄*G͢Y6O&׺1PywP4eUk k,cGCD )'KEm6G  "rx5sή֏SdKF -:{VLgYZ7zXZִF! ७]ŗXi%96.@tozaYYbB`(oP8ɖ!PHp~ Qt#b_N+X GAl!ӕz.Ro>yg~KpYqfH%5Տ8F\醚Ʉj4<>bV9 Un}@HJ">G]ey{0TnG;& "l9N\_g iitM:cώjİaVz"!YCżbAPr&$ ~6RPg bMywi&uq=k R@U.joR?-sѶjC_]68aW@6O k/rz Z*`ެ)1§񛛉ws0\XD[B{.ocHkm:p矏]2{'ڦ锁cƉR8Y "E "#ptaE,?p۽٫8z-fjyńЛ+<&MU-ظn_MCHimܻ /Ko0P+]#tId%R)0IzUGtimꪶSաT4Fo6JSiQ*~73d",~V(ֈv _uyElK|+3KƵ*1Bn%[G覎1FĠޙ"nܗGq OעÀ:`Ex4KLGĬl.?Q@YB|sjLI`k:x"wE'zSh5* _J%_b?+.IԘH汦=+o$VzyM%[YjP>. $Le/\O98!|w9S0kI5Vcc* !#rc؏1C m