SQLite format 3@ . BBh77otableisabelle_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 ,,IM\t< ] Password_Authentication_Protocol:threads=2elapsed=100.106cpu=157.812gc=4.864factor=1.587zXZִF! f]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 (ZIܛ WOo<(t-l:bbnsi ?Xq=|a`I&Rvqzj:Vlr1~\ \'W{bTG.t>,4,bUI!$Қ0 *jVGb8 U &~S4 ? `!-\G qU=!h4-jOevnk |k"VeM='-vHR"=rz[ӗ)GگkIP~قJ8ځA9^"sjwX-9 1&̧" !7j|f@\9sˬϨ v:(M2|6 0J)j }^*Fߧ< 1podH"X {]yŤ#;X-n7p, v(M-s@_wJE,TjkY gJ'&!Zmq6^D&_8wRr Wf1DL6*^;44C7a 9hD,rI `W > /?WλoD.>%0zgYZ7zXZִF! s]ŗXiɟv A)jץ+kg]esvqhT k&S^R͡IaP#8d8Fu bij:l02vgGxz54ޱgYZ7zXZִF! ]ŗXi%W~_^,mol*H6RG@B>ėP\YC;q37G "J!D=I Ue%iF~Z@:9E,>Ġ> F~ *aܐif{' ?r1$)nu72_5*8ZuDrD/a,p .gh ڑ f x>DPˋn;)[U˫Cr0&Po̩nR:A{\B#?~QA" vi„jFW"}Zcc_){#?_ vWqrXS1$hD!Vq.41v;iOYAb9ђm8[vK|ybF)DB9Az'ЁM/i$h$+h (E٨bXzj: |i}Qyi$Q\'gc$.PbR*_FPNPIt(x~ XN(wca|:aidJQpP]to|:&\t-ĸ\T*(ӲHYs^G޶'hdvys-!uah'Dp~bOTrP\Ʈ[ڧS%@]^{$ W>ڒ:G+ϰ #M Password_Authentication_Protocol CI4D~ @i?rRϧO+h:[4MHgA&UHV)Oy'`);먑.Tˁ?fsh^K=jRi, HI2Rs_}җg8qwfV0FN@:[zTydܦgT0i˻4)7|S KVλ&`֛˃jEv0H%C[yOz`z$MW0Z[=V*>y-. ־=DqƗYCė3a y؄Wp% )>d?Co9rONv-~EHմa$𻸸YN{k _qo֟4%!%E|aio []H,b/xG}iPd_=L蛅U)8xpN4;KBewn)R}kd wKpj pɢb\e$YUetG=}*Reyn`!/Uy41ZIylnUmqNT}'{uwP * bUII!{Wp"gvRɶ/ pf@m5&eT/F4Wnmt;b`ww8qp$um\ZYGK?bL3 w7ɦл0"{}ax G˖~,Ψ(+[kZ;栘,zYi0p CZM:QTa@aTR'lotJqSx*{Du(d![5(1T;ܻ-O^ #.&S,gP:@lcgLtc` >WA7S7dP8lM7?MRk5<1~hWbSs[s5&}U-x֍S\0{R "ٶYCC"|7]M$~0WKo:^uMi{=#*`;%(%f@<>| [`֟ ͻ(BSuWE\ǹ9'F-9!4$\V ٝ@ S.G ṈAAeOc=Q֋f^?mZS)sRhwNڽEE?f Z҂:J K&~`gf@ 2 YR1d/ō+BѠ%T["<ި_:"" p=zHv&uOD{s'H`T24^uK׉bw Om߃t\%j"ɡR|dq$L6Xl6BZ2ɵLsx |cm=6{jF9v%| {SfgW~%!O{rhYuŁ/D.Hr\lMWRE`y+JL3zcnJF}Hvl|2Fl" =-%ݰc|*`̎PcBTnz8 \6<4HD0QUh(8+(u9*9 V<&yXKnΠZ47"û=#΂gIn'"E7r YBv`tǷ@y W4x;8crfPKz-tDP-鱼%1NNZ>b&bV?#hZ綤n֜ - σ0ʾ E,%L^ʐ. \U'3-$3zxf#t\ 5/a@S)9GPON9~~%3uC+90iw׵_gyzKU c#z{ ЀK݄d@4%Di? hR+9%?Ȯ7Y2fu hƿҋu[ĝmǓ;K+>U1B%/=MV#1F<>G쌚gAY#j|]: ,o}X#|?n~tjч>ca4's~hلWjsm.OI('oטZ}GJ-K8?DҡH d |7Vm&1fբ\i @XtT_Kfϊ`.?:/{fHdzLՏct3Ւ K%=*?A*?uj̙Uh+˖s|6S|f$]!fvXC h?=n'/+g. J }8>)W]j蜊>51oPT5nज़[_)3[n>olt1AJxUQ,\t+ cE#Jkp5 fpEH7xc*#Cc3]ڰ\磈7Jd?p𒈭 {[3j"t0lS,q;Cbkɛ(Xiʰ A`EEthcg?M2=CXɀ/v'~v|47Wu%6C8_hV]kt -J$\ ~TdwERTϕ<iLd5XXuH6H1Irɑ)z?/*;@_OwcК}=1'UgYZ51ef93fc764a80b81ef45b691e933970de0059f3d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e a6afcc2426fd6b701d456a4f4e00addedffa6cfb