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 s) \d w% Groebner_Bases:threads=2elapsed=26.539cpu=49.664gc=2.088factor=1.877zXZִF! ]ŗXf1-/6vRZnihNsDJ,anj /0:ևY4Qn_G;Gêh20}@~ "xb8iSS0[oq5//s&`n[H>p 6<S'_0D!K3>h #l.|4 o!3DB?šb匍,>L'q2Am)V)(6 /#K ?L;Ǥw"<4‘=֝cAJURL?e w|Om0bb`;RǏ.g2 +?u[%b-kRvl-\]6ɐwEj^т IR`{B+_iCM5]xc=MýԤ6ę)~wUI 浭[Y9SߩWdWB-?[w%"ÇCKJ>#[gYZ7zXZִF! ]ŗXi%6D50TφbԜON_>݄ `لߴGrheҊW*qNr{q$#J\+8yHJr!VpQ{92 4liB\:7i":Mu<.ґ/:H`,;=4Аc=n9yN!E™m0x3qnͫ Wdg4i${E'yzKU~W2$+H r2s*gReVgW?4il1.-nKrJ(8J4^(ۛ.%qbۛZf֖4|)R v2sPı!SMPc%/Gjԋ{uc@B B:꽭G*?VmW mCY7ۀN'{;t|4:ಎ`.$ӄK`07FWua&<|*a?UJ_< bub(>͏@nai |Z1'F6oJ!2/`o۟kft#&zlq޲JhCO\5׉7jutHJWĆEbfAA0M''ID?t|qpu7H?, q5Z׮wP*pCvC4WQb$ 7$?V|qt@TZrU볦zpSbYe'ײGT]m6pp¿) f)ڍ-GV%4|ԻqD'$!K@:߹xfdf.طՌ a3_$3(^+樂l멭Dh]tի>sPwErϳ̗,(fma_FkGhXiE ٔ5mU?֫R.Ņ"d~*rxK/jC?Gr_jDq (Oj)dĐʬsq l,3'@),1{mK:C>ޑU^Q Ya-4n<0A .pѓ$<Ҹeu?}eP0ruByr K*}%lEA]!c-\e)K5?2篕sY>>e[.NJv#^quc@]=sg4/ ;}<͊nc5S2p~ʨvևagYZ375052f54ee09c03cd75b04192903a244100fe82 3ed95eaffc56f303cf0a4b5e6debeb7de56bc6d0 8148bbcd1e77af41ff589246e0a10e6a4230df95 d2f87c4f0afe8e4bd9610410f722d361efafbb3d d86662b125e3c6f79c66da3a4a5d99e8601879e1 d92cc33c39cb0a77d32c803c7801eeba83eaac6ff0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 5e2d9fe647698eb3de122778d18dacd4a9a66146 7a21c80d3cb9f4fec6066cfeb29821ec2be1b923 8977330e0178a6a9ebf8c0e9d6ee072006c1cdad ) Groebner_Bases