SQLite format 3@ .  YYQ77Atableisabelle_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, "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 ZZMlt % Password_Authentication_Protocol:threads=2elapsed=97.728cpu=161.004gc=4.568factor=1.657zXZִF! x]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 a]BhK'z|) E`,gœ=.Eъ#mZ(39Xixe;znuo 1|tlį'@M\Aᶹ?"نΘo(SCBUQ)dxHaJ&#I ґ?{vɑ{sWG[g^3 e-QL^,!7Y&7~ʀ#ݨ ܁|+Rɮɪ>\ ۜc 0ѹBoPX"!@jR~d^5n{_;a焬}rj»ujqA|CA%!Qݶ -NV*fK#.l9t$ PXa?J\hk"#$BxA[DqTj.5P[NQNZQ~dF1k Nzynt]jWc*KTR &%1̴xLv P,~.rjtТUuss[X'Dn+dc=ѫlyɶo'/~/d:LPgEOVG9D"NmV5ʔ} )8D1̵8p7=4T*-}fr ^Ʊཻ":VG]8YN;oPMJۡ$xdu#FAyMr:¼'Ժ+S8ya;"Q9&D"kٞ\IAzfiȋyAeD]TyK4#%8p =%ODr2s} FRbڭBljp 9J䤰0=F"u03A1]/TV|, 6٘sl^X!k>`߽}y<-({>F<2~39{4l5o%4q.݈# sT=&x*/a}E/œ83r6ˍjG-iƕDE@_ʴuGyaKvECc+IE>8nO}j[:B: s2yY&畐Ӊֳq‰[\M3'Za{$||NrN٪ti*LYf6p@$vO&>Δ֭BXTfMT&f) 4ޜc= \bHEDu4g\?<_RP=# _ E'(CC"I@&kr :h\bDx50'/GjSޫ.Ȯ?C; ̨;\N3OQ)!E]U-29gBTf4AؓwxfT,4ӟXh&3;57<;s<1ѕ[ W"uɨl`C[gi4^vV4vMWovfV'@<y4# _5q.Rs 9!J A^|p3 ڲ9y{ +ظgQXbt9ɚ=0WY*myNXV"⌆ e@ZP6|˹2V`I{FK}_eϻ́5j>\װV߈8밓H(@S^L&O ߌEKf)ęWm*X7O!*--J[*j,CBz'Uy8*K-EKܑڡYZJ҆|IBE@)V'ݗX˱=6#GPZI9rTL(z Q8Y)Zh`wyPP ~# &8-)Q|%X O~_輄fZ9LwvGy'Gñ,n,Sa&dm 2BYR&U8]sO\panc"pLS,!_МtU*=cEbnG' P]NXGS(`|#\Slr]@w?n ) G{"m :$qnYB &Ɛ)#/~V5AIf #M Password_Authentication_Protocol|6ѱ {q5f1eiʞ5@}{X'nҟewn;HyBq(x?QALf#Z4eS]J~L~0팏JvQc T2 #)|l}Igb`E7 u髰:"LO)rulFck*ɮ*)m3㒖B| lZ3Fly}`uj4 ;v#D0gǮ? ;TrtJ676gʼL Q{m.F qያJi-\?FzeSP;QStɬPO~ 3='.g.d4VF`շ.!(Lw# Ut{G0/Ev - 5[jg>BPESMC> DX ɖSк 3_|5#QJu488? Ap3~^ҌSn@S>՜ːoKIQ\7 'mG}e84fUwQe_#+dTI(դsY OE F. yZyTንCVbҏtk3+^g-}n \Jȝ Jl`ҕ$cnҩfRˎȔڲS$ ?l|S\VȲ{kIgZzi)i" 3j0g:\N!(e$hX NhaO&[lٳMO#%|rw.A[Ϫ\lsE=~L$Yums$ k!%|ދ?TBItm3D;)˒,vrb|Pߵ=tT/3J~pjvJȐ[Vq}ŘX̌.ŻQf%_ qv롱"uI)VtsR /Mߋ 4䣤-\}ʀ\Ӏ341_=~[]A|hAfƵWɏ'63eR !C EmJ6a hmvd\;ؑnW}ocg^1;3A)y !qQIۨ< eW"O$isݼ`MQS.y)Lof裭N9^ÐļA^xqJuMvS|3QT֨,AM:+ۭT43"CfDHe,dJt>XIԪOu}NukB˺7wڳ HL@FtYZJTS~ dyA#%J}*UԌ,\k4sa=.9FJw"e;rN'W @إP -Vfh? eTd,[5α;p>E7"@lĚ1lhrK:̭W9MGQaFgY\-CW~CV;.5ŀH O|Q#{Woi 1t69w}v6UGl?Y"%*#(αFMnl&.]>VQNa+]×pH~}$.䓖W͘JaO(>qG-;[IVhqCT6Me7Z@KcKMj @r1BOtDp]0b||Wj~1's'R[ֵBLQq9PE~)t.4QlY!ywMl^;o"gzlϞjp],kƯj'[f.a$l OA(ZN+Ӓ6Wc'|j XkCBi9<s@׉y{ 'Qwb|,u~Q|G~p3vGnVF/6wjѿ3yG6Ѷ l:w_:8Ae/SCrqB*!1M#Kih=Ezp_D`˭-K3?8(=mn'+fL$ >tܼ-]ѵi>[&E@ڼKmKb6zA FpqND;ء!D".Xd u:bFZ5/{=w'/Uќ`āb~cN QFQlXz 1do16iMx% i]g_{_֐hy5'mgYZ480ba4aa58d59105586d2000183ff5bee5cb782a 52c30e72644c298ba06cb7e5d4f15b0cccef2659 ea6b7b38328d1aaafa37095fbb1796770c2835aa f4b31db9cb69147184e4ce16d616ef9040dfd654 fac45b2e7c5608bea50d81361142a8f261f776dd572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb ee5c344e484cb4571a3e30aa2acf3579a09d76f8