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 U) ll wS Groebner_Bases:threads=2elapsed=33.095cpu=64.440gc=1.936factor=1.957zXZִF! ;w]ŗXf1-/6vRZnihNsDJ,anj 1#nE> !A xw)zd;^\C3hc͠2?WֿXL)UD pVz&qZp\ĥ 8> mӱteKa.Eșm,˿GM))Pᦦ|sOB~b1NJ&/e!q~K*i]tKY;VI`O_bH3oy.'(6?dI[0DU1f}T,<}A @J/5 vԡmgYZ7zXZִF! .]ŗXi%?5Xcl`+{yFA5DΠUc|57k|8c<r +;]\b=;`[pjnEVaۿV)|A^~^&w jcl_k(h% u0Ocy<{d`K1(i^WgTLU sSu[HG NcnYQ%3C͍4t7n{xq,}+IЬfb{ʐ%pSu"Nõ≽` iwlо{>#8ȝL17*GL#D"٭VኞAWҽ{n*pJFNu~d]3w0݌J |; 09]3C-˙L|[tLF*l*5 CG|O{[l1, rwiY:ZC"+H?5d؈v(y/T09 bϦUVKp- iztv)(9TGl)t A(ؒX\ӽoSm#/#oD-\wLnT qNƸPXIo4Vym[><o:b-1HhIz7z'b|0'^ ՋLpowqX+Q4|Qƭ0X+4]X[ Im1ֻ#S2KC4vy 7CR XҒlâpSvhb# [t'$ ^CJs6*Տ#V^$tYdh k}&L6GSX~VgYZ1bdadde2155949937d0e17ab7b56c9988cfff6eb 2d7cdbabc6a88c3a844f5c7bc3c7e11b434a3094 3ed95eaffc56f303cf0a4b5e6debeb7de56bc6d0 add16f085039827b1b43145890e5419d06eccf30 d92cc33c39cb0a77d32c803c7801eeba83eaac6f e9484ff582e8f8ad3ca3bce341cf82fb8c4d93d1878527395436048d51bd6287a500d1cb05dc0aeb e50af90258c1ac1951ef5f989d4c925fa138d449 3e1665b4a2364826485e0de925f153ec2084f742 139285dde38acbaf046f96ca603b257986966e26