SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 UU D$ E ZF-UNITY:threads=6elapsed=5.153cpu=25.180gc=0.848factor=4.897zXZִF! `]ŗXf1-WHIk0p䋎dh֨   ZF-UNITY/+aHe x M_`7bjd|@z6\lr$ L 6nknSF#s#{0ͱJਰw^]+ fV TI@Fwdb$\Xl.^ Nٝə<{8~tyVa"$)ؒƾʑ81BR㈬ 3@Eps!9x ?CwWh?'P\%++}q헗h!==$.s-Ȭ#Ԟ؊{dK5tT +&^&7Sx\j4~&'t-)ڄ虆VJ~55ήMN :-Ϊu1mvJ%:k# Y xZ7p`'uý,xUͺ;>\&xí9{pbAKKu io,ҥy7W.W⠻ͨb!5B# ;CrtZ#f4{s VO[q01ZM2(ѭ% ;{i;gcOkЦvpKD%'̪|FX2s4vtzËrveI〭u]u_Kڒ3Mn6_e%9_Hfgs(jkR˓9%̗G;]|D9AW`½t9ⓍhK>N9/D؊PJ U E+elMb1"ygPE,/*Bpgmb3q(Cc'՚jb!X#}6덾Mlޘ- 6F~y=[ a+w}_n @ gweo/-{"3tЍ.%1zDؿR odrEK5, E_꾡(Ɔܪ^zM8]U+DެРB῎CFTB.u&!5A0+Tk#Vղ"I~g-^RmM9D@#dƅj2K/5D*z<,$@.]~m$g'ӱgYZ7zXZִF! T ]ŗXi%X$ f3!)29 jgv]jc%w?N|Œ-6($xE,v"IAc{g;p=fÈ:d4#CHJTφ4W gފg: dʺPo!+Fw`HsYk;iCLD0sݿ\7+n(%ۇ+hY:ePGtsL6%i|E_&;,@y+e37n*}<2;>[vC$RjK-a $^6uЧR+Nh| rO_D(DP]FYcy~tO$pj2.bV| Ela-35e$,d%CpVޟUgβ:QΗM͒Q[GqU6bsdC'Cs8. tOifmO>lօrqC0+a)ci9XFwG3Bz )ۍ/ Nඐ2z`3_zKaVc%v0Ɏ͵2} ǂ2|mޯ9 D"e/\=84嬬FC U)趺hۨ2.'N5u#z2@Q.Q7+OJO)>(";Y^8q7\LF~/ U{C+|=7l$xڀ-d7m"8}OgYZ0132b4851e2517caf08125d7cf10f3d657441b9e 0d18d96e673435151db9707a297874c8fb804e62 1468f0080b3e8303414ad73074621dfe5e79ce25 18dcecb77cd10fe58091ddb81c34192d228ac636 1de571610dd535d91aec3c0e4179958f706b06fe 27af5c70403d5039ab231e24bd6c7ce3ec57bdb4 3b6c17f313ce40de3148494638fe849b3ec91a82 3be1dff01d0f0eb700918766781c5d4fe9c54098 3be8095f7616207514b45f0c041e6900cd6a557b 411eccd1df10386bcd400c0819356d29a26339ba 47cddd16f693246e87962aea87bda5bb5c96e680 4ab183dad94d71bcbd8473aa7f61c93e3e4ec11b 52f301bef6110b3e25e3a129358cfd1b3bf296ca 5af7d7a72a075673330ca6ffcc8980c465f3ca99 86559328478a95db06fd450490a17b65ef89e186 93a63257b51dd919f23a6b17972c57c7adf95a94 a266815dcc527e19a8e41ed5e66590b3fb62978f a64b4980f3dbb344cf640cfad0060b6b1377feb3 b1b8e5bbe1248a480e021caa2a4541c23708b664 b9d148a9f6c5836a008abfd948ad3f087da46948 bd5cb36b5b5d1e74122cce58eef23dcd9b344f26849200688557e9f0e6edd85a9b659542167af62f f5990ca29ba031fad0e014a1eeac51c3a9f3f0fc e0f0e6ad933bb5d8c8f8527f4881250ac9d0cde2