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 BB;) L w% Groebner_Bases:threads=2elapsed=34.968cpu=65.248gc=2.160factor=1.877zXZִF! .]ŗXf1-/6vRZnihNsDJ,anj /0:ևY4Qn_G;H-n{7H@6)lo-Gs@FPmKs\7͹n[a.=Db@[VCVW,Z[{;2fg׋dTÌH3 g=H TL$ j fOǓ)ӈ\foIWV\~800l"#n,Qr. /!{< V]*z#q\٠$N e_+hzLY<*\%6m5X<ɳC22s G;ZByt-Mxԓ'*e:>j6Rj#2&2T0l}0Vd25y!l`d7ƃT渣z(}nLR#iVExwy" aձgYZ7zXZִF! 9]ŗXi%6QYP-"V|UWLc7υ$eT[w.) Y^<8cFٲA(v( x;Av w*X~zuӬL~{ۚF̃q[nG~~3k%uUc8Bs\2Jkkk>WU\ɑa,B'5:5vJG I4 z:v JOظ|\:4C9ikOK|Y,DUӰ잏F_C5u.Czg׾8P9MjӤ2|IΉeTJ/ 4bڨg_`#׮#U›k' W@3m!#ֶfw'mK1)X ˍ_)?K a(i +anWPynvBJ>-*rEr][K5N 2:YMlUr\)mwhGG<>TF`m SdKXm!}wC7S"GrrБ?/񉇤3\>S B5ʗ^|W7s[& >Ҁ8gk&0fOuEN}rlr 2 K Q .>ҁgْYKs`ɝ|QDȺ@VZ6j~ߩ~aL*=jݦ+s:h]Xu]tR 'qAb7{t<$v"ȧΊЦ@W)- /hh)ЀtLn-e)d9`9 Y&˟|sjf+%޽{snG/ ]zwRpoՖKvnti;-ZZ 3;qҫs$ 66{Nh* yǙkhp'>C{\"z=+XwȨ+kH"<}J]b lHſmYKQr5]YNJ/'vQA%:`ZY 9H0kΆ[ti p*:tr:qK yH&nH_>aBKaxmv7̋{")\ReK4`p2")jx_p1/z{`x[D;8 8!T)оE7I{oL=mHAI6 G5?8c3%Y">gyj7JHM7Y`^3߽[2-TUPܦj_C6|-%){ =[۞C57gx`ou{$.ҥEy0/v *Ֆ[|z94~NtefVW?ܣ,9~+$^̳|k ~vKR&nGOw4L쫝ft\O9è[@t[/hb=U1VՀ|<9 y_jʑ] j%9k@)p23.EhAAq5>B粹^Ŷ^PZvNvB=m< OOc/U| Y%`ԘWsgT.}Kȋ%AH7էf-%ЀeW--glB{z5Mnijh&*'K)g?t նǙCś\fV_nmP&_2.b51x6*֐ZZ/Z*PzGD/BTƙjF)Aa XzŲrP.Dnkl9L(Lo֏9*Jڜ#V3Y|ݏ̓'wT& W71_9߼cI[}z0% 0|dz.# e安~ _2chI ,e0!B8Uq:]ZD5e@iba\dS) I5恅|;;ΫgYZ375052f54ee09c03cd75b04192903a244100fe82 3ed95eaffc56f303cf0a4b5e6debeb7de56bc6d0 8148bbcd1e77af41ff589246e0a10e6a4230df95 d2f87c4f0afe8e4bd9610410f722d361efafbb3d d86662b125e3c6f79c66da3a4a5d99e8601879e1 d92cc33c39cb0a77d32c803c7801eeba83eaac6f238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 75374a09cbef1204a7e538fc9a783ad1f5d9fc25 1d187b7709c29b39e7a4bd82128181c9dd851176 ) Groebner_Bases