SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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' TD, ] HOL-Cardinals:threads=2elapsed=20.223cpu=37.012gc=1.524factor=1.837zXZִF! "]ŗXf1-q恈<-¡$j2,xZԵ/+y}! ?Hd9ؠ9y~ghLd 1] "(D LFXVCw`"ڟQ9RS?[#PZ-uMl ϛ(w$,sbߗO/12﹡BK *HɇFh>CSL]LӮ<󵳹ԁ Q)tʲ^}r\3,j+dUD- g+|22¸mfkHy{4rYҰO8Aj*lS/.`J[ҿ6'Gw-<1;t (dN>UDeF]³ٓBjIgeᶎ&Q(:5,,eٸVcL8Ń+U=[zm@t!uw2ǿTgC FO]H~oF!з>X_o`Zq"fl^|ʱzU= `j5;RΧaBaGs1 PyU?gYCP4'T!2usfgYZ7zXZִF! ;]ŗXiɟ1?ߟt;9BP2CZz眭5 z ڽZOw@ !l={2bPnM!5+!BAo ns 7}g-gqLm"".cD*1z7q%?3?8 [ 1ۍp96Y<׳I[1}z۱Y*6U# .A<>Z_8D@"pvq:nCsTʓO ;!` %gYZ7zXZִF! {7]ŗXi%>gW5])k(|IBaq#q '| f$Lw X-'*awrDzgGcEZsr;dBA4|MkXDtf\9s4m~#&Q.a ߲qB)tQn텈3Eʊv^gJB3|M\t#m*PF5<&8{,SgUym[~BK48..֜78Hסsl-Q>߰5آerhY$_dK/FjzJf2?xy0`-Ҧ.Il·\Ω4NTd{@vU_7UNꃻ FLu#X7-we$q8wo#*{=o}Qdjz0"khb/1T(d$M ЖDKmĺu@EEEIsdky| VgŽLpt$I/Ϲnc0s @ Mǥ e[9~ z7i,BíW[! JfŘO]  G+Wh\Arpjtti0o v)u%y3KLb!7:x~Y$|ӻBUO谝nkj_?d .JBSRNA 闶:t4&:mj% 7y: