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  MҞQ]2Zl{$¦[Ÿa09 )f(d-[H Gf0?!Byk_϶ ES=KQYL[_ดוOE9-L'ezZ0U`.yǬqHFulݷ+q{*=K,[]R#l]bf_;q2.Ã1Zw{=MjgYZ7zXZִF! r]ŗXiɟv A)jץ+kg]esvqhT k&S^R͡ݔGˡ's. MZ, c_9":IQ4n?&%uEDkgYZ7zXZִF! ]ŗXi%>g(8X1v%3ߑ*dK~,s6$ݾŭɧa\eqYE9TxͨP^R_+ L1fs@PKD*2>+] nQW}g$Ev%u/zn/h\0[$b|6Daezܝ<9"ސ 7<,#J# Z$Eo?"񪠪9+ OS=xj[0Z$0V, j,3*AQr\m M^i|!YѨ"X#Na 㚒/,*ŖroM()).{!lQGFS"RB3%_Jn(=Mǔ%|`qqV;L=?Y!e1{% V4aK5 >I~ƌe_p5Wz/nE 4{D-%ك- oh"eD-Dw'~n ,A "QE].$&Y WfAھ\,\%I }ۮymv@T۩@a< wz]ZfkξV ['ȟҘSdɽ7Eπo"`#`7^m;B0I,2G.xvNQ<8w&[?8r7#-eJ/` I׌aPThps|/VЂ^=bf%w,ğ'nlzuX4m6G*x'X(usJ`03TI>:|4M|b{irc\'쓬sӗ[6TCqɸ#_VUBH:!E3 _5^y|U cv 򁣥R[BNbվw'W| ׷H%h̡HtK$ydI8쐐,%Г.e y62Β׃"Ulؘ{@mH10ẙM)>v |Y}EkTMY^iC ,AY}X^ޖGJfJi`@fgg|c=^y $9K=h&(֖ݯp-Ǘ*ngNU^FEO1H0{7oIBb~,\nplQIj]Р뷠 Sľҍ*9X_7^X06@=~M:/})ܶVc{x/j4+th #M Password_Authentication_Protocol  kM ?kYpk ϟLP7i!hFERT}Z%:Rn Iн d@s`HfwoI{#"7 ?PQJoxmZ+$\}GܢHݦ˱.jldAPOCKåƦ!/U's={<#NЂcVHQ#ʨ|JprGdp+ A%þA-S^ `~)\90<}NuabWlǨC3W򻞱lGl!6tx<6v_c5sٲޓ|/=hm;ǎ45Ÿ#^b /ԫ(Ut. 5K,>?:tem[?<K;{muf*N AS6OTp?6.`VSܟ_?-eY@> [OXBJF0r;R1(0*qWd'a<Tf7w728DSRBsL@EQ9 cd$D(yQhTrURCɿ͒*3N2n'gMB&]وnwgPTgx#<`c@.Ki6 ]TbzPQo&GP$Be-{f#›>tV|ib0q"q7-I?3!KTاgJ+C_ O2&*)f%hgߠE+xMB\o%0j##M^`FsZj03ak*6y2ru'η sy{of#YЈRn+Ӽq* uX;1'NaI:a(#p2be_6ݸP6`q kr?"! gyM"֡ f]}Xxy1+LG[;qP*H s'6zZ 1uhY΋X2\^v-j_?3 AԾ/53Wkڮ+}m{{zza&JRӡ2-u]fMH L%s{3FJ%2DyjѬhDq Lܼz|9&I"& @I}"!s{IY!y֦D\tΏ'?~TU6o׻-*a}|m#=@RX-\9> %A˸_N83%):*-Jwz5w`A$WqĚ3׶P~i^ %"X!m>ǺsYrl,rp9шCw>#+Tb_N Bw,V%.-/:f9/$@ϖ/< ]t.'O H}27Ok3[b|12Ãa\+&4>e$yxշy0tVmriA| 5;@ `=ϭ`z3ՁV4rt6;! K)7`+%:LgDgu*~G&ɛ:սT`ʱȃ_|OTD~T𧛐b?%ytU:6MÅt'Q(T\y? Mn`s"QDLz#K0K? ^CC+tHЬ u*6a^ixbZzډխ.;eZ z \ M> ,c(/t`D2Vh`ifa{F sZY#2BY^N+#݂~7xn/l0^<} \"u6O3Æ]'y7*5jԕ p{._B&d>g; )d\bfV|djX;Usl6%InގDQ*C ` Q 87[LA-ps9>N{Tzvgݩ0 Cܽ/}D}d"jhEf)P(򚘃+$8ISU僋AIڪ'm 8 /q[c E!)AH$"|c i* 8ui-{ Ƿ6> |:srahGl6g4}}fNk u`Mr"R3BNBkwS zۇ'5|T.uJ>-3ԠtAɞ| Ӵ-oVuBXFp7r!ܨvBhFVp|-,?q2\/1ӆyAb6?PZ_R?BK@Sk'#i,B3p7*}j*=_CgYZ63fc84908cf18f175f2b137ed0179c06ed7d34ae665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b