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\td ] Password_Authentication_Protocol:threads=2elapsed=101.896cpu=159.148gc=5.332factor=1.567zXZִF! ]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 -0,ւ[J_ o&s{zqpCcMzuH Om@d2ܥ6.-Zc2 WvȘyVJkVĖ#ϡ3H*S,oT-h6ܼp8Oa]v*pTHx j%h#0 taR|LDJ::gNfmz!m-OeƩE}l,g YF @ g ́l+NӌɅGl댻k|y{\nlnMҮ &2j'CAÐC Gʳ3i@cϾ|Pe a@ßH F6;s-ߑx{,*z3L^hnkזy} `~ZHx]4U(ä |W#AEܯ*]X#u=ۙ~>B:ԁYlrf*_Jw+ΝdU uɚ":N\RynDyhaP`y5}N+E,.e%-ҡl|,P9\G!Cq?Z;iq948@:Gêʎ[ჲuorJ;z=ȦꃱgYZ7zXZִF! s]ŗXiɟv A)jץ+kg]esvqhT k&S^R͡޽7]ovV(N c1Ȇ;qp9t}@yWKSZ-C4ޱgYZ7zXZִF! s]ŗXi%;3ۛ/<ݥD}Wŀ3!yP9f "iUځ :%{9'T+14ACoekCo5v6ʁ߳!>/'A"]^U"9}.sag3pZ +}\3Ajoe*8~-wft:m)詙\n톷w(Cڽ_Y&l;KSWvƘ(I d  !Q4̒"o{P"5)2UbX7=,)9,Je~! 5oP`.(s.tD SɎ?m1`zd#]3[N:-`9n~mX9.ԅ׷PitX eÂUGS7fpQekcúbrH%}5fq[Qmaj˗o.\nK&ގg؟Il;)[q!<q F`cj,#{ݥ{>F$ݯ)&2B "',2v;jjCW>)^fqPw*gّNS dIF‹-9<ĚXW;5 U2>&gBjYuZ٬kla$͈HN(o#1Y.  .s"^AQѠʺ@ "2r7 Aܛ"Aw:j,Ai݋${ќ^du2h \N3_Q+HSuKF`{M,l>'RK[h #M Password_Authentication_Protocol  = |$TF٠ b@c`BҵP3RZ:°>}:UoR 2ًTKz`$^`Wwo|| NPXW߉ im1'>|-]gLC\h $/#uIL{_Z%Dq\pȶ=di=Uw\ x䇼^ĔlB 鋢©B}JF]z4֘8<A΢yz+Faɰ+T`<8E=ıyL[MwVTwfV`(OjWXcS2.a;Ȋ&L DJ 9$Ҹ17%\=MqD]*F>^ՃSK^' ;K?DFzm:d on+pc#ͬd¥;86b1JX|FA .~772<!h4 -z.OHLO9>1ؿpNwh@rN`!gy&e}վi'U'dB2Yiv TzP#LIom(D>(=}KO<ޜo=C [n+QT kL#2'Wfi ر+bF-XRi.@vJ+s36^Z.@cNU+{RƋTj%2r=8iDh]X5{gw!I 'N  ߊ-|f77,Wpwr4j޵dWͼ̍_3-yqO3 fǠE&D͇_"%-LGZ=&~bj\П1,ch "h nI*L\xfv3)V DjR@2M ǚ7ٍ0*e`m\v-;~3PAG*ވX*b@&A3 UC=9ST'E(UE6ޮ[laO!?e0 w,ZWZA )hn *ˆEeGxq&~Ŵ-PC{ IJl)x֦H0*rFo#(r޽Woi>-1@- TiRz o~??,dxju˵j_Y#2ZLO쨰y-{Evi:-^|Hk|-2\KLkS+2 ?uNI$CTE槏6 Uܛ/7(jX ~AJͩ륯h󬩧w.c\ՉSm$ʘT֩E/xNu11B2`BBʺKsz78fXC8"$]EWv;T|}&}˻%<4 |v1NӖH;Aَz+lBFO%*E.7[F%q8^8hb R>%^@!k *k{6v :X1JiKس+aYTsjO$5ik¢HkP7waIb&K3+sn"Vx|gqWc{1a {?) 񶰴 ]KDFaQȄ^-Dr+.,. 7W5'丑gYZa981bfa3c1724ed8a01ec54a4bc7eba766fa0e64665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01