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 8M| % Password_Authentication_Protocol:threads=2elapsed=106.628cpu=163.968gc=5.368factor=1.547zXZִF! U]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 dYs+u8{uY㹢&>O*ڽRy"n=)@qV|je}ƋgIK/Nk3Kk1|'ʹĒ/Ui{[)Bv|mm.,`J8_!GIZ: _7.@drRP>Lgi@gYZ7zXZִF! ]ŗXi%6xm:7U`# $&n/$|&(#U|0E{w)Q{&VD!Wwh5)󑂒X] o.~00W,e_ݖM6{07a]cʫpʘ$:nP"ҳړ?׮ʭ}=4Vs Hް:4t&#- 3;[Kn@taeNF0)k:b鳷 XGmw;ˑjm Z3 5:|PN%gFڹQlTh2߷TF z~o9ywek]^m>LNVr%2$!1u~Oܭi'O)\ N1c[UZo7nI}-~cwYa='ЭRCY& { u0YKx_VfW~Ti-yL6e2?Zo{R'u%yo蒅DHXiUt5F:yLx. ҁDcncVa8tMKa̿"qcMK1)N "ك#6 z ?:mӥ[f4hj5UpĨ}"_ /۩P,zbq84j#NY +GPؙl`o!XEx"JW0{©jYD}g"zR_5dDz.q6)ߖwcq[N,џ8 IV`(pV[%:h.ц {Aeҋ3=A"\d2y6- ]MSAaKZQYA} Lp@yqE\L[eJj+gI8yᒜ1ߗL]+CԿ2F=5 Ib =NdhlC'Tw m>,G_w0 #M Password_Authentication_Protocole?|Owc}17E#~.љk }G1L"MQ o 'M RXAe`o ]}Fώf&ЈIrRkD*ZCXH1ߪXعJ$O@{\"]\Wo޳ |{7>$MtJ#Hrk[׸u]!rAB'.`<=Y,UJJfվ*o]1:rkဝ9Ϥ&]q `+3TYNR M.sZ2¡! 7f̂ב%)Clrшҙv.:t5mA=);ѿr!b3P'P5Z !2P&j72ݰz&K\ÞP ĢH"}e] OqI&6OZu AJ_I-.~kNB"0_פC$|/ x74jqce49=U-]G`?PgS,YhЍ^͔P1oiglifa֊x3vk{anu.Tj8- 5z\HXʹܳgB ^NNqضu\mNCZ[/j'tqWox++Z<)֖kr]8;ktXX0fE7|67Cvhǎ6gm$ރPt ˣM 0ݒçWO^..k1'0o ЄHIHzaKϽ&tzmu&{ulxuNd6B3 &bx6E$=zցJrҷ9Җ;/?t@5ˡgґ^?A6( <>2X4 M+jqiMC6l4M@u`Tvn +=㻋`#WY ̪d1$2=Oɡ ]Oy 䚳G$|G`AW)&\mQC4u1rS:~@]c =;^Vtp-oYo{>(A/J [X<4o~8v fk$SBndifIlthz`W'<(ٛlM6WdOSn.%[Tv韂[D]p0>e  |Zۦ9Ly ͼAkpǃe7B&&[t4s}VکnF[dE$ 8?oU;A/;H^[H IpGkбλobo&b*DaDuepٟ7u .;_Q煩~@94XTt 0w'RQXn 1?]Rp2 @i=jWg*|AEIÕFVٶuq&2map>Av/ܢuۏH" ;7)؋hbX2yȷ&6ޭ!uFXّ&#l4Ss;W%E^QдfCSt7RŸ!L\ծwE Ejߖxz:&|AfEBa?@ Bt6aqYEV`@[A+͜P"ߕRx56~4mXE;ᚫEfY"dOΏzV0Z79xQfr&0沫hb:nFp:V0PŋWJz_3wkԏ}Dc.@ )"Z:`ŬP9k(Bϭr6ucKٵ 9G&]bJlZOKGSlV"OK5@okfLwU@44 킘a 9Ve׎uk -05eGO8Nts<')Vw3Vlڧ]FQJ=֫//V'qQԿI(/?iJ~v9瞬˗D׆Q(&cem$J!$4GP˃d ^ГmfCOozS4)E TrGIYUbB@?ֵ(|!wqRkBި(G1kFKɹR8gaLWMݠkD&.5bCGEZ2&AΨ0ljm_;p4[bEp qJ2[YOCL(2뫁3Smw_{irEmU|7c#@&Ɏn#7zscշऊ7y26o兢!Au9N[cE`p e |wj R=GiVz5vd} ͒~lh c0JTQ y^Нeu8 1M=`~9byĚ.lJ?=өaEc4{|A>Y\pH:YAߙLqp'&k6Prv+ :h eʼn3KǍ@lqLx7_1=4[ ^d"ڵ( ߛ'XֆF Yw$tQOZ.-#:4Y_h}pmeY^A=^z7m(Rlꓯ8z_ƦBc%rd3axٹʦ/ 31MuYc =RA|V>N'*K%:@ Kv ݷwOjg USA9܄TrP"0!kn_l53QQ䡋 _-cpg-0쯖4,c Xbpw`!~:%)(ÎtOF:M[U%nɉbzX\&su¡*uB(YugYZ480ba4aa58d59105586d2000183ff5bee5cb782a 52c30e72644c298ba06cb7e5d4f15b0cccef2659 ea6b7b38328d1aaafa37095fbb1796770c2835aa f4b31db9cb69147184e4ce16d616ef9040dfd654 fac45b2e7c5608bea50d81361142a8f261f776dde4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 e6f699f9602302a36e4385981d2a9148d31678b2