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 P-lL ] Smooth_Manifolds:threads=4elapsed=39.965cpu=120.536gc=3.976factor=3.027zXZִF! E.]ŗXf1-q恈'+]&e}0mz_oԏ 0 I4܆FqH.3x,~\ɓa^UJ68x-m-,+/q0~ L9W==eEq+Y1hW4:($ PV֖V;F_^C`ŌuG܆J̆TgeѷGIPםw*=/<2m鮮N7B\h-:q1\%S#1K#)%<@j?Gb1U^l5$»6 Rb.)x.A9K-3\A4l>򺳎;,TWjN-p_[q$PBH +~UucEv AR7 0ZTĺ )dQHT|dmٯ9Vb߾ :u!byKTr*۠LB@8N~ TDz-Ӯ>ʦT2ת1{5.Mۤ3B79 npJ *V#QiE׏cOWV,#^:\MAq^1RjI|ݼ8b<d#B\ep.5fcbw| 1)zt,O~) ꆸ{<BţGGwbLgrg`f^zzoBX &`<рvٚX;]-Y1ou!}oYpFNrJr۔…Yh_ݬHlt_;1v.&ﻻF/jӰ}I( ]%=N30XLEڽ \P80>θ"5<|1q)#qn6rL%y3LP>e'ETw&z״f7MX4S>}ߋF}xd49瘭N=SV49 @6,U)<|^N@`sJΗC)a2VBC0 >A9@Ơr,K?/TVY,zq3qyjeŒ7G(8 a˽j r娈kv<{ }( H )[+ 2F&cMFi9 3ʡ;U/*$,ncDr!3+́\mʵQMeޥͼԆ:1U9EE4Y9hh; ~ (ݽjNۅb#FGB3VP _JʟOt,̮+ QhʏM;(nq"PDִ9 M܊of[]G˸Tm0;1&(A}kcap"Ա^ԱiqgRR ԛDlc'ă%9n0C^~k1UgĤoŸAKDhP$Y%|w!SKRDMM/N \ҍG1 \, ep-B,K|EUI4 EFE*a0=$ -8cЛ{-p3`'m@}<)YyDj E-;]QՖe20eɷ`%f:,PWVѷUᮋlݞ"(,nwblfVg:Ɖ c0 |JwQTSHeaӷmB@/JG vl+uvm/7nzPxC`+qݲc.k VH{=YXU*H[CN۬K$-˙ͨJ\ 雴C2^7ZRGlR *>¸VD*Ӷ^`9+Xt`ɾSV 0h] _zcw' ?JUdg> d͠X mv۸A4ƱP.Kl QX= ! nC*&7"(ulju'4&Ms6Ra[+vBGR">Uzv0meiwbPPe.L-w?y^)h/T< ELM]Wg\Κ!?[ۚy/ReLfG8h9Cz+$_ ė u 7٤?>ZPu #ygi$XQ:xMdV^ J1jF !buiP^V|F{b wC[>_auV #i)y;k,iKјq~N2||f$5):iFǶ(lxtx[CbUC7N2m\G$LGkҖ3E^HqG*ҔEg#*CYҖĊtO~gGæqŗ +L'ž /<@Q3;o: ,{8kCOۑ[ONR<E'.Ul%N&w::gN #11AB8NꍳSknnzF6ocƝ݋Ώ<)ЄDY6$Z훠6֌7gfmJT ӂ3 p3'BW4pJi?-R; 㿭v:QwSPA:u=KQzlM>(56;d ^`91TS e޷<]|p^w\1M:p}ǘ`vERْ 8opSVfc"\:l.bt̾M%]AI]~9ٳg;el9/[4q s7=NqMVVn]v&vX&(M,_"ϑOi+4VMv0*wd /J=$ZraCÄI)DZo%3 yPNF}ItΰufۤZ_:L~ÕИJJWOxS P]H#ؼ99￱81*iZC"tZ玶]qB0/k̜ՃAwҳC|7:Ymڽ9NZt<1‹Lbݔs1rfԣt=