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 I! Tt %% SumSquares:threads=2elapsed=9.921cpu=17.192gc=0.368factor=1.737zXZִF! D]ŗXf1-/6vR[]৞B}.T ؙ0.n={4ޜ@=KÍ Y3kƆse۴Eki{UmFE7Sz&('qkO4P·qeu,DV(ɲA/m@J;Ⱥk anDR.O=IYq $:5Zs߁BWU}F˘cq f |XQɴ[ٌ='x`{8aZH(\w>A?hy"vĿ fh5nѿ3wiɋE"GV ϕ7HŞm|A"Evܓh'@R%6EZa +=ekI i$݀~v<ȇ|LA[0#FN:LۛkyB&mLhA(dwFLSFʙlTvK 5zRx->Vq'χf{9殽:b$d #TynZiCAA?[pd"C[VDL};'LY] aJPHm\tfq؏mj^"{V&y]=XÝhGLc kŸ@ Feg%`$C댋I4H)9g4u*b5pf 63矁L~Őq_4iu,6P`>2{ DOhKS6W~ y_ Ofۀ5Wa\*BZ4+SG۔oeˉv.T~-/X- 95jL{1+ Yu_,sElܓ3X-jeƁjε/ƄT(1c@4u=ݒ3 }{ L\]dHVm!ʤ+bٽq$G  !rntD6U|ZJżL{JG9!AT.2/@p)FPC@.ҐV+Q0$Y:+J,Mv;nfs*/W)QDP7rk.i 7˙3S`mMT.+vC>U"܂PU$HIe,DM]_ nV tz_kP_⋯_̫8D{8U-e_ (Ȑ=K@:y[s,Oec%hZ90trh6@1v&w,bZ+CR"So좉p7Fz$06ȳ!+]BK jKK?"DAͅrצPvMipց0#o\^H ntQ Mu} D(i-fSMJSui=`gYZ349b7b51fb3b595a40c187c8888da5bce4d6835c 88ceb01926195eb995ac657022db09310c31c47b 8a3d41c3963e3d7b9d55014170ba399d2f4074b7 9f1458bc860499132e79988e26c9213701f91aaf d23451b2fc95e68df3aee5f50c02a2a8c976d8419711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 b62b082da1d764e713f5960b70e1b522ba49b147 eb91c7c7b7c0eab83abcc8a29e858815d9bddb4e  ! SumSquares