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 +3 $t ]S IEEE_Floating_Point:threads=2elapsed=30.037cpu=57.424gc=1.656factor=1.917zXZִF! z]ŗXf1-q恈͐7ӺV -fw0w],[aT|DBgn5X@EMS;iW;ı^],=&ev ]-(X9nuw~o)'ge&.Ff{:!KK-18?f@dkzG^ח AR&°j|W8[eh[1 Hov>J|ic$ M[8'roZe6 `^H8^vR-X:8-JȷqV?!B)k\j}ye0#nXd~xk(8Ԭt"̕Qɜq0vywk:Y'#.|Jcx`AR丵ӑC S+>+`ExߦXR{٠ﯙ m,a.GE߼cm;~S7xSd/Η +}.qxɾM5'HDk>ҿݵ69퓟*/d`w*Q,bI^Hs2e_oKET L !,)WZ) 3׬z[qy֬m$}d4-cYC~~叞&qNN]reeC<cqo o{ ڃMLh=Q # v` {-Ȝ+?H`t3㌤/ f|-p*_r3~h4tL2͇U4X{pNa5R]mcN7Uc"-ձ(u^E:SH껵mӒeg:Sey!skCs=Lo6ɼ+{y q.&& ] T5Q|pu<̔8Kw :'(1̛Sԡ~]dgr7 ķ wǁ0\1<$| ]V6YBCA]mv]}a1aORu ="8ln@g(pñ~q$2LQgYZ7zXZִF! s]ŗXi%>gve" Dio=c~Q@;3{&a0]\G/y?^\nh;EyH e5WmݟZH(o)'֙TcWY! ڧK쉡[T8hV1A苟P{2QUkWKU MmcoJ藔,Chz;Ebf⅓(aVJtS&D7b:m>iEY3@bā l@)]c.Q\KdTYhLȄZ_#vRnzc27Ć@ R\Xzfiu6$v:v i뇫h`S 8@]UU)qzeiV8 >WbEh@BwSj+b8=O""߁U׍v:2FMk-({Xnɑ[ԃ\Ҝ)+z9H$G~֌񊆴s«c~7[)n!ݰWDž #j}8> DB ~Mή:Gi>t`)Vy_"< ?< Ca8?f8_, iHR?pҘF :GƦB6ߔ3y$ *-]<74EWnL4l\p4}js7gdJÆRܠ,MսMsy:9l$̣CqIPƙznL#6$ӜYRѕ ؠK3Nrwnvw tJh7\tޢm@Ԫ iMP;W˪ ١,awUOD io-TJ涙Lc9jG# 6&2BӑkSŸ*K <+@맨da r/?9l)vR4ɇWxx ]>*Ǫt+܂pX'GU!8φt|Tz6TxvHH4I~J< Il~QXIL|l>"cNmrtUY{8ws"TϵF[fHW^TҚաF,;,*W؆CD\{g1 c̽A1k}3kG '&q*aGĉؙ؉0#G Y=|sxG½o$*};]) ៭#^-1;AOYO\f*c=G]' f(XL<UYY1%ʌx!쒬.\K ϾBM\(34GDZ)щ`^6K"iIٔ[q}۬za*lputY.Aj=@8&KOg+WPGȽ]zaJ:m~ RݟUv ͰiP\