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 MM(MTt ] Password_Authentication_Protocol:threads=2elapsed=98.958cpu=161.468gc=5.904factor=1.637zXZִF! ]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 +thn XS#cH"lhRo?Gǜi<^-&4Sb7BF \h9l^3~aix$5m nh>47`3!)xܬtP.$>0ufct?Gw/OM]xÝ+!ymPQ7/!ArDT\|.\Ke=5f ,_{嵼vt@Ik 'w&/X1ײuPᎥìk]1O-Q+))9ݓm (X%\E8gf'zi8S>H g8> . SU^|P_N: 3Mljsj45>9l#YJ LP.1aXyhv >#g5|onU?a&gYZ7zXZִF! s]ŗXiɟv A)jץ+kg]esvqhT k&S^R͡,Εc*S-;R[I¥zkB#,(a)#9 'HRh7+{T4ޱgYZ7zXZִF! z]ŗXi%>g͂;RӁ~;a!  %H_9 swe=;`{u3 X1sh(Ǔ59AGG*TY0K׶x=}X_;Ps0c- sNUo;2Uc%{9'8a[mL:3oB%e#?]<בJw_X dj3VN퇓_3ik 2š{j&#R9s[@{M/G:|`gX*FJiqyt{͉wC:"F2KP?R*݅&7ͻjKS `=tOifZ 4FL$~-Kb X7A 'n ӝR\0֐yUc>yA4E6&\V"7Shz&/ Iڪ7~`[S}F^xk0t/f4ϸk@vQ 'Z^&$ԡCu垗e #Y o2oX7v)_E8o i3)ûr?u*Qű a;~^;*䯅Y"-܃<}^*& rGө4f> FZa;\[TƖ +-%{U<1} .A0l8bM@z)6>EvrCVE0; "P)~,]CdP#)ﰈݹf-"wu=!6f9dZ~1D|q"]^Y4I >x{D|`zfxnhKK^3U?we$j]p~' }/(D($ U԰N!nEZGR/[LJ6tT^y'L_ORWbJz rydl3y a'r4byN-Ld"T[DtE)*%0nӖZMfb%=aΘyN #M Password_Authentication_Protocol  QĶ]f,wmW=V~B52zwz7? V!tX}哏TJ^Ls"xx›+U߻ w /+0$]_t E?4yAX`ѯ-+ =FQӪV1]%~h@_ec돱c1sHZ,3m0ؘT+K*sPb"),ODwE8;;qr2Y׶ZH;P$tt<4lV4ɧ2v|vי3)t&u'kXIVyB Ύe^ 37 Y%f5HEW3uU 0,^-!ݾ1,K梩m/XM!EL|ҿ @-OMNbǂ@]~)Ɩ+ _qP$JΔ&uW ?cKx ȕgknfB0G7 u~PsoyC7`w>ODڈ۔ݑ`COy|VH XF@ %N.p%ܼ z_CO4AAݴ'G[#dG{ǴL ׸>NZK h!mBbEISuo 2NXf +tfd 3[OA/h7!Y crαƄ<#pLhy=5iLvY}Zm*B@FU1Zˣ2(qzqhM2,}Cg@"4q$wIRw0[fݫӶ6L+GF=F ;0cyGv3LF:IZ# Гv8h*`d#zaES'z>`*`wH.9L&e/#ިkTG--*k$ަJ sҦ0=o23{米phc!%i>>OdmH-[Iٴy*V+ץB"D{'gb$[ner" kz="jr_(^ ]^D۱j 8JfxW>%pfI<8cVJG#tӶA 7J\퐜7T*m$T2M}i BXܨKxH/)qF<zu@=ڽummk*NyF1 @bcOf#x}zIitÅ6wԓ3c)E\movf ae㇥I%I`{~]p9ZDI*C{n0 LY˅o#tp(<@k !Gh2+72LKnYB >0?VX6iaoVAU6Ԑ{YE?dsOֱ=:$;`T*>.ݏ8Ue+_lLߝ!>vD@IYLZYe_+Mf$P BJFv#̋*0'TH֨m:n#8 M1$>J`o5ol+B+Uj0~\0*??(4dM6W$ou)Jw>zakM^ MQ Y~ݺ۷'A-OKBNzƹII%MzA%T"b1@ @-H kɔ` ]NpcS~Rw;z%S<'ExRe{k[jD½[ܮ "RP҆x=G &Bn⥈&^{n|FֆA5gt0?lRb؍r9u~:n>n#,.@oR 6@COu .\x=+m\Z>{beG&M{EPuU>` }fXSY* jS󾪦yinXKE*uz1Hl|;D0nHv~ [weAWcԵn|= U.l?a !1#(0dMk_ 'Ԃ`60C曖싛DZnއ=f;.Dp P P8Cvgym1UvR, v+{N#ޠ薆7wQw3˺87}@!2p=18?qG4;nNSBP8r!0Rռ(OaxpwXէ_`R7 ځ!WyhVv߮1^Tfa,\Vhp^kEBtMPIC{3T%ҍMkEW}}szg]Toy"^Tx#h_QqGIr ̹ӧ,(v>P=YL& >QrlU&JlxB5g&S q/"ww@5rəv\Ṳm[a'd ?I0ö4"y埁|eC m$* Rf*#pg`-M'SgYZ84911ef541912b32d71959dcc9f2acbf5b7c2ef997833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 5885f1f569201b0b462a9f3f8b1e15c36a4412b9