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   s ,T ]/]HOLCF:threads=2elapsed=16.440cpu=32.236gc=1.968factor=1.967zXZִF! ]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_J[x@mYJ W#onubH}=V:(?5U`( 3/-Yjʐ+e5gڡ&W2RU(w)vJ(E {Elq=٭nFk*\VzM2j~2g7@2ǥձ0νnMT!lpg)}Wt?`$Sd.u9DoX3{-.=^E ^  ܍(Y,7jGӜ,3P&eI F;FB5_D" X?uӄN-^ŦVOMbP p&`M7R^whǷƤVG>'VUaMD%EuKޅ4V KFS!&BSqQ6|f3*99^@e_kXsmc{b zŅANQFfHYm宀@N Vǐ. ޥ]vɖ _4}-pÅl$ HQ_=D0JOo:u>_Ԕce<-MgYZ7zXZִF! F]ŗXiɟ1˦r~KunύNN{Y Qg'Muڋ+yTNniԏykr89V5Mm`13sc9z"J1Oi#A^H ϸgEYCs&Qe[Q@}G Fh=bǣH&`0w!@"0"b>dPqy\vEw2W*WHrss7z=N-WJSbr'?ZtL xgYZ7zXZִF! gc]ŗXi%;[[\Lz gQlJb 2H >]6DggmƆ6gaOx:. vY.8߬$㟽oQn5zF\UʬӾ~HИpQ/ EL)I6pd1i0ChbBh. [W#TT #Uo5=%t66 .ؑG 9Ŵ1%T+RYy0 ǐ4NWLy}#LfDU#SZUIZd~ނ\<]H"j3sb!Ns!J"73<\`F778*:uj<_@2Bwՠm3)r Q~<q^ɋVkEE 5 M[jb} H:PoƲ Ya^@߄Ke!qfU `ܰC£a~ j[2=Jb_Y0@`$SEoL;'U\a*BRPy=f\oMFh|mJoo䟘Mʃlt]u(^82끊pZ1!:0DOeOz)o1!<^ rVM2] 2)9h_./[1ǟH Ns[{.;D8W,ŧDY:v_A Fىs\c*1תR$ BR <\S&|e<2 Rm#ok.;X0M#}i2= MBǎ\%DﴯKr:@. )]rjaVe;hN+t@|=ݛ )ሄgYZ7dd447aacf0342338c8596d9df36c08aa66c707c87932c6edaedf27de51c877ca7033311a89eb072 7f58193f3d2717fe18681e21843b42a4a2b573aada1df807c20a0f9bc38603345a4d61586eb2851a  HOLCF