SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 eexM c/ Password_Authentication_Protocol:threads=2elapsed=94.039cpu=165.412gc=4.736factor=1.767zXZִF! ' G]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L ]\J cQM8f;,o!哖cskQm_%t < da*4?EstmC' NR@Obϕwьh'9Kڛ=w. &rG8$1k0BV:ԩKb^&vVW(q*jaCc jUmcE*tn% jCo5/6ܸgjX,R*c㵯xVws ?#w`&ؐcֿ54[hjQmtzRh姓r{P1RioN8 ^((w~u_ ^9xs(Cf,ՠq0?_<WE: cy򍚚$(A3 ov>i8?p; e'J?YzzmeEv2z^œ[麵Q| _i9}},lԙ|.;R)Phr~ٗϟߙ!MTm}aQD)c'Gh׼ pbSNP xM=R_Jbvmm#ZJ]Nژ #M Password_Authentication_Protocol_{2Usj/{J4m\Dj=`b0VOl+ .fNj}Ѻ쯩yR\$'ʗ( G˭SӉe e'H|T֗jh\Szf##!lɌ$r5x~EXd}pX+뀯f IJb_֑㋆VyȺҮ |T#-^X">':S5~> ,dnCmn)p2f|lZdn6B;Zl7ى.Ͻm蓝_y^ xHR1w":Pe|;^9-V'R؍̥EǫyQ l<}X_p ڢl}[Gp[SN/Ly 6N-G{OUNHvȾlh"Z|BeO̝ !v[ElVfy!0мV<ܔݏc˘F\ntn/`LHގKcfGq44 ,&mRxcLy;ư@ʺm`V&:<*Y.A Xe-8AУ*mD$vi69K {RdVm?Hi݁_-K ҟ0?u@vggDzW.Ekbe bi_f:5,?CER,l 1~Xh%ȿMEB%Tdr !7rtVv:.~mGX@LP?hO} F+aW!0RC:>먻*f4, czMMj q=1_2(d"r-Kи6H9\rW2#%=X›/Kd.OWIO%t2GܟMJUIg&6z'`9H C5&q<0i lW?1Oȣ]5D ]UzlZq'3B)p2蛂yvZT̏| QrcM0ĬZ8?Rs/+\;k;$⫇̈fڧ &4ه FXM:r4 )Ѧ}`BݹIg%RpYT=qx,m5 uͫ^J ѬRtG+~@vi{6 K},ZvHBy;Wz"M=Xt4 GY=tw?iI]$U)R_eTΉ# w%;V읏nO6)\8M ,:Uuw䘂` ~6g0t/NÿY5LRZ(뾋< ߁wsi ,tcST륛".?tvg#Z%8as<}"8 $8kn{R]IFnׯ=Ԣt=r3$z~ʱ$!/"]`Ӈ*Q0 NW:@~Yo4:lSJx@/OֳÕp@6 \F ~M<or ٻbp'e ZPE{µztl TGe{?4eVal`E|֧цd7MEVE" @l3zC}5U杆~צ,/*ǾaQj˔t6YrҚIC>W6fi6SأSg)ufVPSke[b׶`ǐn9n]:n"<Bլ,& )S J'|h>IĈBTaJpa7 B߯oz]܉+&q\,B>`(4~z<8r0k4~&Hs|PNգ =CN*&P~(;P@hbbPc-UΗMm1|.ۈƱ{c`"iC ;OyK[:)qzOUB62CC@ǡ9^6~Gyg܌3bwLfFyYGnwVşYVQ{[`8sCNd- 3[=fWOM>#%媓FcNƻ}?Zscm(Ӑ{#=MoZ|\tbKB3gog]ㆬǧ/mӰ@k ZJnvdm 0,P u6?qP 6#C*J%>[+ȵ Pe+NqWzv-C%~9|@u%Or΀{zZ>6c~ O 52Y9>) ^ BkVO1m뚁i&Yd]q36_-]? dKy!^?̻N,լm @} "6a-GTiNJFZuv}CaiG/63L>+?Av ܶ'miT1ٮMRq전2{6AGԘMUeFYglkIs:qq$ga>Q?G'!n6b/i10$ L`FZI<|pRԇ1? iF&y7Բxá%kP%PΆˑLg̡H[yNF 4BZmwTe 0GAuVTѤ[F tdU{yHe*b{~B1V$[\\<`Oue@ ®ɶZIJvLy$ʸ7C񑈵 +D[?,V{W()]{.-_SwC U;ג/6zkD,ScpiDcA܆Ra# Rp \ZU\K!tbZKLvyU'@lffnERڼMڗ{7Q>Glv;FȯWh0wy vRte)[x}NWE_J9Zۨ=/{(<F<ϻ/˱~$N82FB"j˚,[@XB0~K8_By6Fu]H*~3+|E0?ձ~X1]o)WTӈRdhO%fZ =C1/v<0ض_qWe>.g/e>rJ0C-ۊlE=3i>wEYq`:AdҢZbdj q>iKvY{SNjڮE L=%ăzw1c~;qh:G: R+w5*Q9ቀQam y/7ݭ?m1 v+wC'ћ⎋K = |y5c]$"ol  :APKL1M-r AR:v#ՍB[e<$Q1j2OEIaS43P\*PU CN !_O| Ĩ 1 W+&Gj䵅e23Qhk%ۙc2H]#E$#@ukIINk`Cs'ؿ%qtGvM}! eV{ + 5]x7ɼ| Qv nlx1-8:!x^ =3 6̪m:2$?ğ&UJX~E]̲1Zc8veJL^OH/Л^(gX y@#LL7SBE~G2?PD"Zry)) 4d Ǭ,/JQA1HBcʸN҄zdslr>z5LV ,&U6y<6pgnO" Zo` ~mMX5'}z