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   |t\ ]/]Nominal2:threads=2elapsed=35.293cpu=65.952gc=3.464factor=1.877zXZִF! $d]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk/ENS--rVЗUj2EXo_ ӄ;O3sYtokP(p쳤p=\7~ /V-En"zkBmB?]jQG.B~O čf{ό7<ܲ9 A*z]`P4?R`,/N_.yqTO 2Ip =\Y*/u?b_ ca4Xm WcQ-`PN0D'#Mk/!1(xrSsvQkRca3BmŁQFV   Nominal2  ~ Rn\Ml;En7V[WlL50uEiYREvi#-l#|Џd(\% bv PDɽE.˼&aIb̪34LaN_Uㇲ1y oPEti?eO0hc H(%eBO"Rp@BH< {y}Ζ՞M$X^[\TVF+rPUsLu2P:yIGF<8lC: X_{இ>$SMK (f:.V=IIƣl ٖN:L5%!_5 ˕#[(goY/ω8Ē!b~V #u?c MCx9P9Y&c3 /žỤZfs#+hL媅ܲb,Ŋgb]0%`=bޔeEhk 5.ZTWly\098 4"`uh$He1pf' "K\Us)p KzmDPKBS#M*t3&jVHȿ$d1q !z! 0}& 3XiQђZA6aTܒgڴk-@'.ܣ#1~: oK/τ, @nc)na&˃ee juŶ=P$8iDe-]-4'">=Q cH%0GcSP?n˴B+ZSg'n hR>Qs0r4vL{nx}GD.+_GүT>lT5v2}uec*4)cr;ח:f/pEv7yv andK/"|yaHOXWb6(]QhH "{^PlԦinUAވ{-z]Y\ٴ 2I+][D#PIGu aqݳ HkwBF)HA}/V؋8hi<7%"3G)3qq}SsvӨ&\yehIWkTr*Z*;䥄Z0poӣ"0\ofYsF r#zehzHs\gw)sc{uvڦYk(H R:to!=̗1T.(Yı('E0aHxQ΅l>Gyk`8F2O^j$Iaɡ`! $`4Y~a?(>x"+Nc&Б1gԖ3_`UKO}(dz^~Oܫ'~d O*_O #gB;\yȨLR,RypC/O9^cYc?N #e=P9Xݥ4Xr %3`vfLq)dlK'`c=A}(J\r.G_PEϘyFH-d2ѠIjMx 0k* '2SDu=Bzl$h"\ 2&"(X":K[ɞC w *+f~'3L!p9kq;o(ijRZ IT8P.q:MAZ丂@1 !dTM˲qs萮t5bd2hU(A)t_gYZe2c3c599f3a76f523f66b3b1be91824c0fd3618d97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3db0e3772279c52789caae22d8917284a6ffec755