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 ||yMdt ] Password_Authentication_Protocol:threads=2elapsed=102.447cpu=167.600gc=6.056factor=1.647zXZִF! G]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 +ǝ (xDž4x(?2x%Wo5Ἠd:cS%oMǫ'|#ӣCOOq؎ '2vr(s%H55%83;qrEv21$CY~#AܽwbЗX=gV#kf`{مqB93#K%ӎC'q@^f* Pd3G51"aWcR>J=B/jM0 0]xP4OhbLL&oP )J~K/goTٻ+P {iS}KuY7uL[{݊A:eҖ皵EAժ 'mCm3;? >u,;}ihC+yՒsTpA' l/0j {)}t=Q_v֮ ȸqgOģ@HwIl\M^%TvWZnQ=K=F@HD:~p)UEQ2r;\#dvFާqw/4>@.W@"Qt5쌥wTG-n@fR'Bb`0KRWV"J3;cϧbBjka69T : V@ъDtw$ "09? /@=n['LfUdc1CDUV{ Iz9֎VNv՞7^`C #M Password_Authentication_Protocol  )f xǁN =[8ƜmC%5ڿ >A5X3i{sfuV,%=y ?t̎fYL- eoZ)9SϨ*RVx$, >;|t.o)H#_nn[O5w̺AOCO? o'&ޔJAnZM0muK֘p2GNd9 Oٳ؁ ZVCP} "tWǐ̶MbD˖ nIBC_Z¢SB܂PS5 ol(*}dns:6[ыH/ w垦RBXj_F#kA@7ڧX07wvFՙpMRJ1c %NIE bde70`puWg($%a _qoOf]rQT,|-4#q7<'ЂK5"'7=ԇ 8elZۜlp =; ʡЮ')ǘ, ͩúE?mȠ0xZjE'`NW[Lxs o~ghfZ{,UlK"hdk"~ޏ;7N!n~!*{ 4|_-tY`}G#Q W5<~UhƆvs8R' Wȥ)0+߭/[8D*p0Ipc0YB:Ep:Ng6ݓ/:B%l^ Ցz$i9&a1ഹ'lե!Sg iCBϘjQs?a hgڏ< B;3Se רi.=U[]yVմf;=BGbB[ޱ}tZ\y#Yg'U| ;]:p8!(r_1F+L? jԇΛ݃Ԛ\ 7OMm>LJbcB$M;{iŊ}.W;>uUf=q$DθI}>٩Ώ?3:֔[$WF~Oqs\G &}k΅giW'! #Pߘg K5OѴKױ|3Y}qKt[S 9vk9?3i,ճ\96x bcgZ}k숅cv Krʋˎ'?"t`$8Øl=S;ok) Bc}gu1z'X!>D6rE,YT.@N's2hfUޥ$~hku. {a< 3u~~6xՃߋ9C kӐmTҬ(g"$J<ûF&j}5v]}D6F)mF9přƙ7k!Dwx8~+&ZX}w^Za< (wJ[5Gn-,0WzZqVc]+iBX *FO-E@>~\fJka^|q^\pwj7>wVQ,}`˻I=N `ҬxP@d-Oټr<\EBKv3nԹ63&e5G&C]´X“q EZmޖ%~91uc/$ӯשwF;ҶXqf"f1װ>-j.gNNG6e?{ܲ8JA+\[[R]$={TZP߁kEnU/N$KjGm]sGh\Z5?mo<bC'?ЫW:䕰".WoYLs ':AwOPϼYn..%H9maft\Ѹ*IZоz}aĬ"^9}iYD@Uk)`MNF5D8Q01,be"6>1L R 9NzwiE$DP1z-)|3W[^0"8?ʜ_p]f %aϡW)AwOXwSPoL2!RO:AƁViaiC.EQL2*)YBWocnsnj qe_ڲ"װ~2 V ]cN'סl kLY/F o-mO4}M}/!d  Yv =)隿Xzs2;a+hKr'0iÐ/3u~ԉCKW/2<3 웑/Įvg9{q[I~` U^hr0AvZ8V|-DӜj۞r *Qxq#nh#s"R\{˴M EݭΜ:JEОM%&`@(uGgYZa981bfa3c1724ed8a01ec54a4bc7eba766fa0e64a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9c