SQLite format 3@ .  YYQ77Atableisabelle_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, "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 =! Dl %% SumSquares:threads=2elapsed=9.487cpu=16.896gc=0.320factor=1.787zXZִF! F]ŗXf1-/6vR[]৞B}.T ؙ0.n={4ޜ@=KÍ Y3u]Fm~ŒsUqMl0*T!S1ҮOr>JZ] v]"Pkiuu4%Jt+-L^uXb_[MMk,m{v<LӉyNt?Z5}h!p5a*Bc:u4 ( ŨزvUڟO"FKL;JF 8XL#M@"0JM1ZXjh:^#-'F[rz ěBxHv&а*uQEx˖ HnLqmU,%s(Wz~=X([I`AW^Xrc.*jAw ̃K9ɕfHXPo+V˹I= *!_d8(I8A &lT9akYfKvd\cґW"X^\Cp@> 0+&/T*uYRIU!*l q3z~E\@ta\g#n2#5>r*y_X4 <#IA:E"KKrA-Eo 7e#r!mKM˸?u;# v 5+r,ދ'M|؅ruU FarC ?·mN30b'1o6(?,\be%өAhs!b]oqB #=Hhj_rM \8Lb2js-N]RM\wx%*65%ʶGG,* [=@zl-w7΢D yCy&ˆjk_f%yTI'ϙm[NO2 UX^HC!XN+M@ [_wtuţ ˍgYZ7zXZִF! 6]ŗXi%gvTd$vvqn]?k916v**1DӻHRFTJ7mUN&cޘ\O֏l:T͌vNƱShm$yEW[~8*iMvo|T?C Ijp9-ɴ4^uR59kR⭽6|rDi*n$SxB{RܕZMx6l_xQNwpFQ]!i^9wGIX3:z& &fpNo_}iCǝ3$>br=e0SL;I;!4D8uK{4)La<|HQKF%)#cP*{56 +n(ҜQΰGCj.} WWx" 4V$gR] `U\b.mkgBXƒn{tT={ԡ"fFa4`߁DlϐszQڼ!>:dndqwc')V gE`+ɉQ+[CFIlq)SSw[Mr.+Pv }'NE9a$EMB@% k 1_W3_G(tx ^'yϱgYZ349b7b51fb3b595a40c187c8888da5bce4d6835c 88ceb01926195eb995ac657022db09310c31c47b 8a3d41c3963e3d7b9d55014170ba399d2f4074b7 9f1458bc860499132e79988e26c9213701f91aaf d23451b2fc95e68df3aee5f50c02a2a8c976d841572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb ee5c344e484cb4571a3e30aa2acf3579a09d76f8 8b11d14c63847957f15ba20e9bf48211fb5fc1f4 b70c3d37363f5b3fea8552ef8feaf38cd30edb44  ! SumSquares