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 QM|d c/ Password_Authentication_Protocol:threads=2elapsed=101.627cpu=176.560gc=5.376factor=1.747zXZִF! w]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"k ilPy+cK:e aZs1}tr JVN~".na/*IvGz C9=MCB3Ñj-(RclH<`;(_ٍ`:s#q׀q7W ~ZQwLx8A oCƐ+![?0N %QدLӍ&iOOU9NѫHqb M.~מ-'N{.q:g6Uھ\ PSL #M Password_Authentication_Protocold"+PCm\э H&] X~?O9V9%߈-uW(TدzAUWY/?>aZkd.P@H>ɉm\YGNƜ,[Y< v)g迶)έ'ۏ fѝMr"jx ]pt0N~ӈS,.kw}Gla>orL\``f=^vzW c9!7A&纝7 a9Y/\ޝͤb1OڣHʟXʠAg$5Xǣ), ,b!ZNdٴC""&/at|ks4mt*TyLA@X|1K`~;"jRa*2t=6UBcI3:z ؖQ[I1>㤹l w4(zCb:& `u_awc΢cۋ9x¶ Q08ޞgoNnWN޷R>/lR8#4[uW C^[!+(,zØ港N!9vw):`6&Rb?T// Ra=PS h73Z(W۷,"–q:W_V࿮E#tQpAiرI J6ZAQ}lb%9:, (Di<$n[ (YRv7:SȸW re*s#nӝe ;rz\j<@pO,ClU؄L5%}vPn}P$%dƟ !}^6Ѝ/7~$.x5Ʋ~BY쟀qO,j" Gk8!^O)z3jkĽMEE(Yi?бY gYZ7zXZִF! +]ŗXi% -ؾKXj 9"+ERn+Ǜ̟'Ǒ0~'dUNqw=]H&kǛz~#D2H8a)hoF|3w 6qT 6M׀5&[ԥ. ҿKL YZlbI޴yɷСI,\=H|*iUIV a{IvKRDbhqz=M򡗣N%Y7+gl +oj7)1:4.*$b]4dM旜MqqƻO%a@wpWR';:SQcXH3e[էo XMXQ޲H ^Azz9:gxg,i11ZdQV ~Be:MB zf3KyJ)ıdԄ}]MP[vxnr[&^$zC>@yZef3T`4Zʷ<02z\qyfTb(h^3Y{4\gm-; >>Nv{7z΁1G2 .0(Gı7]QH_O]@^d^v^ĦPoOi\ HfsH83E7r֦L$[T܎4N(%˃JŤdhU1 Q{j#(iLvnmMj`ШnC9W%{We_\)A jCl%ł(M.$hYǑE|8G//ܡPRX<$H[+ +t3-b#RT}hM9 'rEBOo##hȋZer`NSW᪒ U"FVBͣ")<< 9` `[/%A*[LA;FA&xi[cMC*;$Yn jE훤 7dBa)e/"i;ϝc `a?jsm8rn8ԀKӦ1V LR~}חY)U[-/F 1g(s%y5षיs]^ F60:BR 6כWy48OCϖ=vB0DjBPO5 sTTȆ۫_Z=.cb tK-|\>tQ.Dw}oKdfYl@ NT-SֹpGle٢O#"|6JǘϯJWz*QQ[0  G$mIG9#8(v/ߤ+(4;Bo{DD ,.Eߧ">RQb5{dd>U>VB:\W_Kj^ SvļRR(_Khk` V:!rLN0D&=}qHIp|J0Fץ{?:&d&9:wW :>`+iN@4_y)oVmU?[/;x V19PVk)N QX3*RMj믵׊?k x4LbtQ$89"^}PQ02ny}P(x%OS%H;$IO]on/sT@{  A‰ҍ[7F0{|Y.*jLV'm{cq6eG j&O0rC!SKj.30QH+H.ct=^:urٓƯv/I̠6eC[0)dfo_,%~} 1E^#S"mCn^Bnwr-֬T"$ָy{4WKpt<R3Rg.Ldi.qVsNVDcy $(3¹+ea$n\b3R97so#Ĭ~?FM^AxHXǖ{Ike$L7LH>R`SStP$}n%|rJ-c\^Ke"lj?ASi|Dpɑ-B `sĖ'RtX{K_I[֛NRx+T&Ϥ8%.DF4Lb#ufT.m(!/yYz䫍iqZ] `aڟNiAYz\$2 g>NM0~@햺{Pw~ޜD>:_ʁ[ߥ=q߆TN`GM>DfđGV?Dxph7 9Il^gκs1}@݉D2CYM-Ѝ6u=Y-kښe9.ⱡҦkpjkSGàX&S=HP;2jiWYr0$أck=Ȫsjhϝ~em<ORt֜Usތ0suxX/1(iqCp8D&mˌRUuhl 0McACBݮ]Yî > 4^L[IqJYr> JMb]AFūS *P5\I3X'iWT]܏TZbuW Pm&@[DľboWt, `˾~6!:98>‚Huj߮Cd]rG2;J&E /BE5r̭x X nSx]G%D$Ud!iomU"Gȏ{C5ćg!,W'q,6Ab R,J;N hY-gG_վ?A*8@03#W˹V%m;r(HA]!zܚR\FA"q:wD!MfP=y3a_A.-}*RvTc-P(]»f>|ִdfOǚgW p\-̴Sx" m sAV^IFŖXE7A}6.tQ0tOK+]9~õcmhP˨C`/#ign=1}VS8 |&7Jꍆ<+5a=Ejv/8Gņ'1x %\q 7pcLCds êIEa6ȧM#9+Q)M}CAȨ'. A͟J[_:|.c+7#L'|<2b0&jEc.r.Xp#+A-[BӃfe iй;?R1~= V 9a%붬¨U&ޟ 'yL8gL2$jKS gH{Ba8wbH~% 8y oL$|^Huf O4Sk(*N:8e>TIXHF4VV&[zM4i] 8|kWaL *ņn&5> FK-snۤlofIJؑHu_|i:D/;p~U$[=y!aܜ*C^ﻦ+"R-<\3v2Q%'_;.St~\^JcQ>Ɏjw߯g u[Fxe75(az#QnwD(u"I_ ,e9|Qydea[\}Ml[N*g`Euz(m;p|4nM%;mp@ O)l ! -ȿԺC܎J*x)cG-<wC#9>Ykm:A|yd 6h!Y$މ$ρ;`;k̎7d)'kgJA  >Ůo .H/嚟20?%yb_!e51ƔqxCD-q5>g15?+Xgѷf*cXxw8B0ƒO!۽$.@S,%(~ngYZ0c9469e4651698f44e3e228873be074985fc67b7 5117119a178eac69d137fb85243808da2d667eaf 52c30e72644c298ba06cb7e5d4f15b0cccef2659 6ca338586d5f5c635a5ea92037155268bacfaec2 7bb2894bf6b2b1879e224f67e577c429b34466a5 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 c9a7834754ca020e75afb9d98e309c88e75bfb0a ea6b7b38328d1aaafa37095fbb1796770c2835aa f4b31db9cb69147184e4ce16d616ef9040dfd654 f9ad8b0e4dc237bddb1a7187abcb79226fec1f90 fac45b2e7c5608bea50d81361142a8f261f776dd70d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9