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 ''6M| % Password_Authentication_Protocol:threads=2elapsed=97.337cpu=160.552gc=4.832factor=1.657zXZִF! J]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 ےS*QN֑o脜+XɥW|6XwDŝ yػ+ ף`kn ٟWAVҤnaÌl=ͦyR& )eaHYG8a}ʕ2yme'VTt䗒c;fe#C!&KM*&ʧAاV£r}=_<_s)PcD`F z- i"QvQn9M)T&UPju7ѽ3*TR_Ai |`ͩW X>~(:ra^Wk=ba\Z,Qm jO3d s+Lo w` ~ k41=zJe{ & < A5[u˧aXJ:Q֓kE?;u,dpQޒ: #M Password_Authentication_Protocol{7'gswK'H,|#M7s6F!:쉛yOH={d}-$`]%>|tBu1p%M+/ ̆ɜ ѭiҖi(4H2v_!Ԇa$'aQV4ͳ޼Rfw1B$ʾP9 ȥ 36%.!&,e*K!\9qL˅\'Cm唩Q`[(G ֝=\+ug{]Cd7f$R^#0Kꕞ4)teH~ r_?7CXxl,%^se> G&m|`3$౥7MΎx9oCJWH?Vأ0;Cnxqdk[/ I*/ǒb~ C;Z-Esk 8NGw5]sOmY(ҵua={鷅{yW^^SIߴ2aJX1!(G`fICBP4: ^e>w/*8Obc7v GDnW%n[_pDM)(5u.5o=5,FGN~>4Hb&I>#XϰT $RK#i}cRJnw`\c`V,&7QoSobx-n4lPV$EgprP8M }c!N~;ǑXOiig# ;{]}ik V˦n!t}3ݥ&~«2IN1*ld'!z! lA*mi֭fLyiH\SD YʪHi/4q=sEp~!nu,/wXe=D}-$Y.޼zE𓜝EMfel[Gzӣ{h|h,ĝ`՗â\0ΐRk2<\sr|)I<Y.5"Ժy {qYMK=vd[9aq:]ʿɤY +h=zfd U/vq/X(&JN#1ݮ{E]DHNL;} nL91T|v`Ycv 3R{*ZixI$ c?qƴ("eW k-{ SdZ Y Tϥ3]QIGUԊ#$}q'H}ӐѸUMQYs$qaQK{_ɟt 6Rbȴ(gs,8?y>-l(5_,+Z[bvzFAve )H=XBLC_Y4QaRxpBB zgZGXD&*B0mg-%ԕH xH®Sx:eru ?_֌ V>#lD W14f^&M)P9WV ߥq;b3׌rf~9L+i6γF;>JsqT@@94m[Z$ȻIW~Vn{t2IŤlY ~DomߺՠN^ pnj֩tDoZ;'}E4^?0)w?@JA+4"!#&]XdZ(D}{[zgEt'k]25v͹ȒE~EϢn3-wOl G$'d17zչ Iq/t N@^ɫmEt H}^]k$Ҥ>xI)D7Teќơ(4fgv᠄x+# 2"1{GralMVl4 ͙;-rn@zNS7MѮš'\>cW8$\; A2<GppˮV=1L;"gb)UT̈́EF> 9!_Ue,et#to{OFU% F I 8 L"OVx{&KLȜmcڻ bM|kb)]e'Z : .=jn 1ÏaK9VϲXO\JCmP6)59 VLd 9">bVsLW>`_$S2 1QBs-WM0S:E&&wu tGI)*GӵN1W[7րɂ[|5(]i=.-(vi}p^Z+bוMuT# :^!=4rKy YGOԸh `ǎB-FsG*'’ G;d̸jvБYB)RNV=\]8<ʲK9q'74_C_\X#rXgoF''Gt\ LxRpe0HIڧ{|b)X(PjS``^CZg"An1'i`UM˵@ACY3]xeݙErj <8b?jp9DBlAÁF~t+Pf%MM0p{~^tjkiXE,Na'敟1'q~|DLʘ2Bsqð 2m$$62c * {/ ѓ{2.<Ԅ`aҲ¥~`O$6J©dj~h@u!%A>E"MA76ഒi )r  g]GƒK j80ł.@}|&?=3 $Ʋt+*,Rwy~锫#lb)Le&~F?Ey)֣]<}]0 ]T&6[q"7EM˓cLY qU}l*wv+ϳp) ,pD C_ӹ횵isz`is)+nࠐۄ9lr{R8O1Lc=_ci&0hgI:WhI\I Q'~&s^Uߏ3P[/rxBNh`4=~315bp)5_EE:@ 7dUġ߿(@fk!<]IzhYCPYUx i+nt^()$/oɳzo н`~šhYa%4T <òEwIlڌ#p^ 0b΁O-M&{Ou_J\M,U\?vl KdH T8Tr!erOT=n|#5䗍=t:a1y\r ̋?5nDQ u#DXP1s[#0R1k}֪ Ul2:m v)b\]ggU0y * L|jvؾ1Ky6VgeB6*5,NьVTx[^wpX'rט2*~ju+W^fX^VvpsVe>$| py]B}bxK $MGl3FF'_a?d1B­}x%`sy;H7@}L.b[8|JNdT>])1Xi2yЌ,l-T̃v?a  ^9vfhn2]KLی0S'=?R(.O|сQ8Ð˓W0쒡BZ\yvkWX*<]iI0E iP=o^4Y~G#ĜMwV&0O@=)(΋0v*gypfn? Qs1sup\6Cp£u q48Y)оo{4-2̌z4&O#;luΔn$)j`OE:j.;n7Dd ٠#r<){c-rݯ|;K K3/438-M~:dA>z8wT@Le*pH7(:X |5٫a5WD5Ӥz;挚ZG6T"A-D8x8@sJ Rx-jsd(q*1T!i'Ag8ywޝ-];SOm':w)bB9x#-J˟Bj±.!Nb~oofNccF3mx0L3l/"K xy]󳠎w>뇁c2tf_xc$$0XB{32/aRC enh8o7O˵?$ckk[s c>ٶ =lvAT\o SMAF6XAz'Փ槶Yi&+^zE=dƫB,c gIih9oa7R @$r1kQmH?[JNK[j hE]~*|%q ^ƫ0gvzBK0U(.ڧO[>q4yK"쌣תTpy;\SElC{v^6ڕ\D+n0Qcj*uΪ*ULC:f'C> D@MWy2vr#;Nl_M7db$xZF2뭶] I}JpYkx5џt7,{Dwt$'/u}'oZgYZ52c30e72644c298ba06cb7e5d4f15b0cccef2659 571aa9408ce6c5ac03af796874acdc7e2fd1a102 ea6b7b38328d1aaafa37095fbb1796770c2835aa f4b31db9cb69147184e4ce16d616ef9040dfd654 fac45b2e7c5608bea50d81361142a8f261f776dd3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c cf1f16d97467793acddbdfea0d823a4bab350303