SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  /<d ]w Groebner_Macaulay:threads=4elapsed=111.563cpu=192.128gc=15.940factor=1.727zXZִF! /T]ŗXf[&Dez `6U1%gϸ/EJ|__.A\'B"n^g#>*)Ū=9t%>剛BiJL&ȉ.LyN؍-sB9q.)qx3|;EkW}ڴdlah+mbg4d+ؕ.:ݤ&Ď؍ C{9B]jS2k:|G%PQ;}EcTԶ^CkWּ0f/&FՒAN.enEP' aխE&YO. #'P|k?d 蹳*K=PV;aX o0+ o'u,^X0<;p 2ov:a% b7n"~3a =άMdl 2Ow灭 sr$ Wh6p / Groebner_Macaulay  pwd}2ܘ1QֱKS 1Ӝ7r^PfFLM JЁ$E}~!j"cGIOfS+ ^β*2@e 1 TÓg';nbj䅆n9h$ 퍩gYZ7zXZִF! /k]ŗXi%Gg[1ug+`p-W/n7^:y,xo1[t1Ʈ:"GzϯV;0Unv@,zZzmnFT.c+ةÙ/*5H*Czp䖺|vJ4+_7]"|5XH,&֟NW!f2dfl᫺.PЪGtU (e 0G7Ku1@)0"`;bx4첓=:r6\gg1sy`E!@ / )_,xD$ 罄7{)]7?4z&,Br27k<]#'ϝf?;fp[% ܙ9c%~w(Y@`]Yf1"y<aU iww%k itrں S<%ș B@;B%ɚˠ1ȼBy,Dpŝ:1zp"3 K&cj}~I'AJ=[by֬h} Qp4Zf wf$Ш-|f( \Xg/8 eXXZqSUHYHL%DahvXL^@Хp~U֞x$1q@/ԻM1F./"h1("\.#S L<YAϽA,me Ϲf&bu0kVOzu~`ܑ<<^{䭍Rx#l `+q˩W:5/PE7 ww7]Ji!xwrϫM9Z,q4w ]:P:qJ$0m8mpFf5~,qHɽi3L!."M"k9V^QS͞0({pCN_|&o_9ٱJOh=P9ACo)Q[&%Amw)mQ@C'a~_=EE`P!To1\Bw}j ]e"$gb,)k~S֪n'- Ơ8YQmQX/ y^אt^Z!v>*~{LhDмvM/!7 <+=p l{μ'g1pxv200̑Y0q@Ƈ,鱯 r@4h '\d;῜_^HAdL1ݎc620Hr`C*)PɱP%$<&F#kG%~7av&B NTxʐJ^l# $` ^[%DA/^m@Og?!b@_ZPHgS3aSeBEY՞:iCa7$цwk֩ S,N3aW5Wz)4^RG04|/,^Uy&xh3N4?g]#3ܠd195#iʦe6]]:jDO|hêQM;) 9?!@@69>1.SyܫZݍQgI_2>a[\gn6oFۣJ0/t"; 8bzFs9nrS<k"ajth4DƧ(6"ެt"r:+6,#iXTUϟT2}el<ΌSaEڄ}/GxOZ]!)!nH5ן7_C3KxN3Nuv??-O@"NpNydNOX }M¬1;_&Ǯajʞ="ֵu&E+ ]l(ی SglF4M&:DC˙c)thRjuͶj sk:}_HPFS<'bWZ C"Lҭ! _S,V+wI@R[&m/j? Pr^3 pj~SAFm-*8 %3uj-1REҗ Umou էh?#B+cUK̎g֔3!f !~8Ƿ1 8ఛ"&&[ gS %:]Gs~{!c4{䵿6 ,d,3^zۙ /&刭f=!hQ4l$1g-p70=땹q_uYs1Pp)ToĦ wt?0Dϡb_J GޢcZehP?7֋#qKt,?Un(8`gk'OyyKpT{3Nb [W%@-7Z| p!ۻ!{5dA,;&"0S^&(ED(6Q+XހџNUN0W JhCl$*xeq1 )S|q8!S$i?$X>aO,ȅʨz-qH^sk2UbFb2{^ٵ7tMp$H8>@$͍+skxp9^;<2*:yrt>faf0^Y.w1<[;:N%FʬjƧWv~?O+\h ' շV1-2Xi}MT C(I:{pcD2"ֲ9@8`^\'U<@0)'QUE'lʆC&£˥EB63GE)܏:7t|-~ݎIwe ;S%_fBnW=]BJέn+rzǾ<69"Pq`)&6|?Lv& m=Gh7Dh\q^;zx@꾪&yrb@Gv0)Yx$6td_KxJt9nbߺA6J5> i9+4P.§\M]|Kt#=;`[ټ.D(s/볟R qqwP׋=BGVޥNEA |J7Ȕ=VM=v;Zǰ c*/% "b6YT<6Υm@Xq}qAeG0KNgz̘2"lrBß]XF:!v+DԘPv";&坳YWld1I.Qެ^&M{4}HK5ٔFK䡙ޓ Ⱥ=>U9>$c8ՎYŌb=1ŷLonH#qFE_:&m}FL꺽<