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 F $D4 ]]]ZF:threads=2elapsed=22.480cpu=38.136gc=2.200factor=1.707zXZִF!  ]ŗXf1-) enȈA XR„  ,!r#+~Wԉ>>t܂yHh `)PzT!5{?$U]^y(5V4jʙ $_@|I>%IN0tq5"}&gRJ|0,T0 %;}!jGYZj ?j8=Q.W*$B,RgYZ7zXZִF! ]ŗXiɟ 1FE`穵$t_..SΓ|'E6cL}ّbohJ(*Z%1&njvyby}^$sQkqfVeb#F{3pJ$ntf"]P7S^Lڌ76߱PzRRkO3= no aA_niQ0f.]#laDܭ;3nr\vvK`5*5jዯ[ᅫ02~_\Pz`%}iE/Ndm:va1H^gl +;~k޵ sMBd2:$*}PkCѷGNO!6Z{^/[Lsymsf<5IR?Pf=zb™疃<: |vW logkOVp58F%"m|}^77M>9Us؍k'.l6MQgYZ7zXZִF! ]ŗXi%>c9C\Gu_asX/QqZi#T O'cq0ɒ57yJsŅU.bX :\RwU|ߜ3 ~uѾ 23jO2o !4L4Kwk#c/?. V9ցD@'|&]#pD[g;y}J[uG+ly_(i%+n= Ֆ2y#ʬ6+>D2ghγF/EO=)S/T8a-U!ht tO^Ucj7(n|s\@B9Gd If,D5|g g٫iU/yE"ml}K#/7_6kr_94 laQLG? Z$-_UQgEYᚒC%'3rLci@#Jga]whDAS-(!E>Jpy dPsƀ$$MӦA1z$%2+c IbgH9Y|vHh*`B d"f='acSH}W)0-C $ s½LIܰ淄=dHU`6?)$ @ !Jk]%?^ѱޟu40"CWO@ym(w #?ɂ#h?᷵l 4h8i ox5dxz2HQ3rbi`3Vio٭!kz#Њl )u'_%﹟W=1=lEdo1z^5`/Q1 J{TVɾqP?\jc+vߙܭe]1pHBL ocy.C}e5v]XB]@Lv9wLOQmwŷ%nU#_:קZ]t JP?S_wx,K+zeA_n`TSFÓDϽ#ܵc/F"LiW;%n֧ @:9Q T?"OK/m@g*HWt`?L^|_53b2,Oya\:%^}_Ҵy=Qm) PGs.N%b{|ш3&#o]f)tK؝ [p2Kma<'hKaؒ#GR*$tL:`OBbHy,ChMϗM81bpE .-^°|ȥ50{>(pYa"RI:}5qeC>- .(8T ɐw%g7 yaN.n}ר& xLqmZ pXlVIUJ_n`XSr,I uHXh6Z#E@09(p0F4?OSVLX۸qMTi ݅wj]#u߻EzdLR#6ҟ ̽}Y|Azs4OVxHUWGV}ʃ7 ZQ .H9/Tlǿr0yA>[yy|z1Ҡ@K=+d:f OVӂ؊ #jl]V4*AoQQ1J.#\6ku H: AgYZa76549763ca69f9c65d14c0d2a8e0b589af02ff11770e7d42e284900cf7be1fa0dd3341bffb6e5a04f92059883dcd7cc8de7d39ff54e917ea20c0599  ZF