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 aM|lT ] Password_Authentication_Protocol:threads=2elapsed=107.627cpu=158.860gc=5.088factor=1.487zXZִF! ]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 &"ˮ'QEIKR}ݑΆJ>r8GP<'Gh+yK3rFkr\\@H)* NjX6aouD)hh/2am).X!ھ^(Yi_dLZ0q|Ь|= lD{UҢɸA kQU6Qw~QE@=*pcqN׻pIa_Oip,73?(ٯM+CS/hz,|PWTw,rQ!ÄvwJ@G݊gdS u0Wl?IxCGrFg\urhIoܽ9zR3۾-RΈ7,7ce3o3$`v*G"\V[2.~y2#6R5j˃-Pav?V0,߰o Vlp_ msUǀr?yvqB ?y,gYZ7zXZִF! p]ŗXiɟv A)jץ+kg]esvqhT k&S^R͡޾w,&7-ֹ6Q*ݨ#g+W`_kvVHނtXgYZ7zXZִF! k#]ŗXi%;iw}Arg cG:],-q/s+v^ UB̆9|T^GTx$>>"3^f8CD6]E*@QfQOL2g#\.Iܾ}`QF|A0\+:5○SAc<G0*iHyL&ZH6((Zo8_z,qȤs'sfi߮~x׻ImmxR#m ;+@3%'C-8i(1?A#) W5^mT[Yž b>l=x:06dWw~^e6sNH_Iboft?4TQDGJwOD(;|YkᵁNeR## fA_r#7׸(R fuo{X!m@أ|Kî#snA!o1ڪY¿(^ 416LLćkB@zZڽ:9xM`a5P"K]BhN2ȯk <`AWŸiy1ʺҬ2µ^x;-󆿒*u moSm)%NӞ"DqV\c3?%LbH'I;RU9 !TYDwq&UשV{zs37h$男;qzrw`DWFIj cTjtp` Ư&H6xO |t_~`* Z #M Password_Authentication_ProtocolE<ǯ" }t̪nG?j`4GCgtVfVдQL>6{L u+(@PlJ`Ԛr*7Р,h`LgaioPZ9ꭍ=ZDh=.ng֥51$T =`1mhͼܫ5 mOI %kAkY$R8?C[bD&P_]r߼z!^cH8E4s#Ty.tjjg m5NL"gɬby ό#+9n%k f.8<רC魷A8 j1d*"[ =`[3LXp"( r$ ė55c hY4h{A-E2eCe=oz*{LĘ-zG5չZC_*̝1oOkn`7uC.NF;NM?W&/aY`W)J7cNe=3HCpM.qj{?UZ;0vp-"sU.X!£ <^c2L$?C.|t\넛Tȵg5G]:â1{8H*!WsnĤϩW}9Ns#s&C_¯ԃ[ŲXZ/Wl?ז0@KM ̄8OGr 󐓰K2(U wn9]8tY9pŷܮY#3 { ݿdPq&$iTo#ecp8;:Qoڹ]iD{BIq&?{6d#jyTkADdPߨ)JY)+02yD֧:30:6^_{` 15+$%);ْd68[G-+ ?Gr@N=Zx9dYad4gH";,wsIF @c?׍2H8Ŧ@^ӱ}ocGr g?EU;*'8F3] +T4JUӎ-… wĦꎒ,ᭌ]klKogk2R3o/UBB c 6nSIoykKI{Jx) =l+8K-x1Te^]sMS4scWK(*c,N㫕G  Q$ TdWzJ$ 2>G2!Bj]W(o9@ar,gWVf$ #о>x/x]>ǭksf=z򠏹`؅u06y)E0vk/}ZBiOl__s/3 ʧWdZc V~̲5\h캀}N DkɈz6ǫD Ƈ|.-DO1a4g~MkKxʚ=MSQN(Qv7= ҇bp&X9/{)>3Hu%Iq =0 Cc|Z~C+շ@tp? %D˸$vIb_B ,2e˞<Zvzbv= tЎMh8 *l:AƱpB?ZXW17 =svQmi)fi5ͮrݥ\~7zcےTs`"P[\}'K!Q'C!S*ĝV;PF^ ^EՕֲ06Qlv91qF$y"2'sRs wr[~D _|\sw.b=+ A#qz~Iݑ9܃% C W%gO;T@i0*mG~;!3e¿„94bljR ΍.oYP`opj5ސ6r6 6 NewON;wj 6m's@zVX)9K ~skgUv ; {HgnC}[r錘\jKJ)%jYmpGڔPR҇M  - UZ$ |[ũ֙DHήcdpL/YwU=wb h0xGL$Rk3$oM.N^5u$ʉaBX,v-}AHlGmhGZ4W0tBwvt#G}ˋq',~TAjl˘ kFmd˳N9ڙF_nl)$Ke5u8h0/=(_ʶl"dҸj/YGHB?'l+59e"̕<}j_D瑣!׎=cuh{or dx.$ Bfʛq_giHEP8nc-B{z& Z*b.嗌0J_fI o!]hDŤqza{e#=# }gKD.#3;QO>ڞ4XEDQ?^) -$ Na/b=#с rʦ9e0%ߎ=8 ɞ7g|y;7!vTP:~jCRRж^l (nН/_|)* $JAa=j _˳s^]rA*N[̢fь ۶`g_#= l0IAu3(g÷ Cp )\W)yeP 7"JWYN#XZo)PӪ%+=ʰhN ފ-1 9_*Udd#^2*b,߬)*w=鴸4y23Z~[ 4o{ =d$ -%o@BR8D ][svs+rg ^el V9q(6+(8c9 fi&aָaV Qj3=KƄZxD){G,!q&ULÙ *%PAYHԬ㸌_iv$@V;8/Z0eQ53[ܟVa hk$ds눟4(ԇ'egYZ390d7c3236545bdb0e047b23ee22a8a13f843320273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 c476bdebca2f60c33824d5374c70fabe6f4ba221