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 V7[&&hOF^oXV)sE$ڈmPz_anǽ0Wh)0{T}}#_l&,e#MqaK>ed}XSzs !AP~u.ȟ\і )UiQu]BbpMˌ9aSf;ܵ!'C ]կsn. =B5nwg؊nW4SĎڭ} Me]n2d\53To3 . oՓJb&ܴXAT,.8~6~>Gׅe.<љѲDž6{+j↕{J=T3wU d=]z/х'Sp4 $b}~ku&"Am#Rf@:?_? ?^O]+L5?Z8v?'Pre~?hEÑ;~yiѿLJ{ 8w+l-'ԟLtћGC EYyf<"\ kÔ"gjMo,HM#zE^M+QA⁥cijJ`(\c9D$s]bw6` ey-rSjW\u~ g ct`wp+ Qw0GEOZJxZtN.va_pEUVxQ|:șeBtkg %J_[B:~-E]|cq6VY :^ELm>xV/ dlRqYy=DYSԳlEuzV2ŬiRs a>I? K `?q&6bW5)0(p߇~){Eb?tFLr0ɸH>Hfj->,\1%8l\1_72 H2W{77ބD"*tc'O N9AuS;5.@#S1n>ۀV~laƪ) r66@A,]П4 pɆ!LN~}'HeT;b޺xI9;`l$ZvqHed ]#xPV7{J ejȜhĴ xI9:_M5Ź 6=œ?\pa%~{{(ۡLgYZ7zXZִF! ]ŗXiɟ1)*uԚ@e^cLl`x(D1t&XFYx(4eJW8[C7[e{){Z6Dg 0\X)T"y1uiOK.ogŏ 1xY*D#/t&iA6N:LYEʃ;ՕNB=}SDt3 ܬE@Z:Q]u}rЬ/\u@#L-V > C˵\!'I ީ7qp\ +_6Me YoOzܒolyRV(g##[6 ꋓp"Ie"p608]V%"?FRm  =ngß;Tڍ/Rv@yM;̺8pwക`6Dj˻mݱyrK/:Ez0(樃uE^\$`0~K0,ZsԨ(Ƅr60i_\W$k bG8gU#njݸ{NH|jDZqy"vH,2:MsCAJ3mLA Q { LoSr)GpI@?8LoGQO\bh}T/trF^ b2wG jbÜ'̝; [q'2Mie8Ԧb9&}p:b>r|ہ؍C1m(>M)^Iv}+,~mO`~  )e|d tJ8)R+#15rCƈӽ%Ǒġz^5;II|tYĝ~kMeL\0RWũst W6P5xKN D.=>[ Z4c)e'n\;pJK$nL\Jeˤ7P_ "WQz[X0*yF=9Ɣn63j۩0d^R:}" R7 0y݅!vols>erN?3!M`UpM4ԏn\G\i&.xyy./U櫘F(``39SX+{ -DiF 7  7Dm$}R"ʡѧZvןN0.&mG3y` ZDV>σL SCҋB$OL.&4_ꜷVF'{+C ~=A=(d+\=>oR!3dzZ+i^WQẶIi͜BMrY6'jW~{B 6*d O! 9%M|ӐmROy-g 3*F.d'v)F'??w_ όQ#_ 2]IUfzȜ斢rV?[e9{ Rѽb P3 Bcct&K[tHpYR4Jn-kE$I6A4 c %W<>CU8uu#rV7ElYtb9XI'Z VPÿLr=-O8K:-S. T: eMdH jqu` %*uT!ꇵ6.l2Ns]ÂPqKVkK7L`:@s\Zʯ_Ƽ #Ç^WFOr BqMX2cn~e) W|^,+Cm1?P|C Ǎ4OS`(*ƱǞs䒋BOO*$E?3`r#v \/5fE p_`Itvp)0rh'CV)' WhR"`mͶ PRbl~ȕ'jh͞+gk*x 'bq&Qs,+2Wiz#(7SOK x0郚[أ.yD-e91U"HH^/ħ?)_ɦܥK\$ӏ" ۍr8.Uv,$dMQdS@:o)K!J¾%f<8y 5  NՆ"9|7x|>~ m&.{)n M ^SFh "w^Q~7;T=߯j}P0 r(q S @I/WH!Psо5wn}4C۹6R* kޠ&XO_|=EmX3ِwz(LMTOg'qvrYO^3Lf>:_'MEs }rAq.tiG|FZp_(|U#GJ}Q,R2;{?n!~?e}NCslTԿ'9yhΕ EjyG"D_8qQ+kaVu9iŐ3g!]O$DPO ǿa'lPC3$+Mj/z.\p8_&$1,bl#ng}k@_OtnK0ko]_n"&3f,Cշ5eM_7 C#L)9Q!f\cW<,"aVKY-`&ifAZ&HC[DJFKu;'L-+;C?J