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 M< c/ Password_Authentication_Protocol:threads=2elapsed=100.801cpu=165.208gc=4.428factor=1.647zXZִF!  ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"kyn{M997ze&UI%> +8hmw9cꗿݭ`Rz(:7y693Z]-|D4]id6RUR5n`4%6wքBf:Ǵۣ̀ o٩Ys4j-DshuTzZ*?YZ=ƶyZ+ \q0fr)Y΅%cJCaGyUڄ%ylp<|/\mdx_PEJgKm#.XiȿIГ.h'O+xK_=5Û<E1džYXM{-QPtD4:&[M8zʛZTG? 31kW>HO4Iƃ5P`I <⥦rM9uɧ>{rV ::^P҅*H~8vύOZ Ɏ*($ȴRI_ q_3/@kN}ui:!ތu=X #'c,iؾ{ ʰn͘p]KoA4M-&/2!e q+7}Xz~6( &r?+av#Nv>mz<{|'^T{|5:Ifmb)k<ö, WR"!;жmv ^ Υ iuv2M2MğWkkz\Vf=TQ.y+VI\~%R Nw| MvXNTXYr$zNSto+4xK*'C¿u mNR6 GN4Q:}1e n N%PC~ZsF.< 7Tqi%?>\׺hIu}A/ Jhϱ}ʑ8odLJ%^u)파+?&]c[}tt쐥tŌ|g\t&>)\-e9q)T7(br";;qY@[K1ނ::Rs9#*cpN[=2Å+<h<.'ߣ^ ?Fj8Dr˹lTr{)ԟ.MlܣJ6 &b'Y![:3–U/ 1RAh_346M`M~ֻ[п[X,{%}PRȦ ou yL??j6;dgau5rV6+B`~zV-x2>;["g0<*EyʦDxQY^akưJ {].@,)df=F"dbޜf}`t/ x?ݞ Rt!P i8x&~K1 9k/ 0zPlkkۄ_B7}8w]j RM%f׹ gDNߎxJdjJ+v3)-(ө4f2:*H1,9{,H{ϴ} 6w"8׾ WB$n{Gu<D# aU qTǟƒhA b\(d +lQwo{tB.* R͜!("á/ZÑ|Ƚ*^i'LP_r*QxTEiݚuSɻ/c}##rgyR ۷=0zS[՜p<&qc(RNL߯]rQecz<|A$Leǀ%N|\v?tu}11^tF#,2XhqyV:=t(~)w\Nop`JpealҠ9dȎ.'.BY />>ZY[iQEuI`Rabn,Tf͆^f V8Mw~Ӄƙ*ܚ%˒u\0XQ󤈬Pm 8ɣR{E>vT*k&Thu;N[/8I:.%A$6ZFIEu{[)j%_A]|鷪[ P3KiX88VE|*>cq(\]D6pXLW`5^@qYeO}mcѿK^kLGKarH]|sߠ!s}_$[IUx0<= '2#ݷd9˿fM\5_> ݗE+f\uʢSPL{ޛglo!ϵBehx-;\3=yha^j^4|l0Iڅ9E.4@rh=02>`] 9ɺO߀A+)fq:gV"DXJ*jx_┇ּ;+}ˠ/q;S]mkޡV$:P.DmXyoAtWM5T2W8g['4#cY߄?0}=(LVԇ6F;nF[eQER@JSf 7 WMZ_^2LtRsz2mj4hcl1_z߆iQ2$/8 3y sOh*Asj: f3~"=5<-PZ@ַV02?I{eHXxcmMCƥ?3~)r^H%Z~NS_RURlA CϺpb!l6Z{ M,}K_!9`]ys} $|Uf RյBϝ`/-vOOUO#ON3뒣TfΈ0=qh OBo7^1&q${iX(@aQTB@/`_J,Mjq0f r<:un¹ OO0'R6f)myC/A! fK#"q2:sԨH``Sp6–C蓹L8EYXm W!%PsO*;`\O˥trY,`JH߭K LFd <һɃ$q3+`Gt|uwiZcB ˱(Ѩj݊zZ}3\HPe"c(4ݠ|K5OgqrD׮[4S!Ga#oܶ?J%*8/;ì 9uDRK@wud͂Z E杄ZyVbļu^h_Dc4n<1[m~ӔNT @n!@;(/_||jiF#ÞAn B JԘa - 3ē I*myYw )F(,π6ţڬL`3~_;vV*a-$r<9꿯^_^\KdCy۟^K)dVbX_g֟ b Üe>H974 GTX<\(x+äG7_!HststKBoǙAw$ُgN KgVnwA2]һ XU(JWL/;$%4_SIfA!2 jX+'a{E>p_rBkJ;S4KʡFNs!pb܏:'-k>-|4.7B M=´me•NK*ߗ=6ٹLSkDZ N:EPb ylns2| GWe مʨ R"?,o9ApTl!&|ǚfOv$/{jc<Ӆ59* paT9 1VHkUSz$8ѩvf4)@N w1kчR6}P鷗K" GYtcD- ׁ۽7VHqܵp=1hAE7wj۰/->41 *e["`A!fmLM6e#1S+\կ3\,zGmWxcqbN͏G86&1F>o{p/*V1}އEh.[W.gV9rk/?M/Ȳiǿ! f|%$ٸ̎LcuPhPww- Ws_or>k4&ss4y2Ep Wj|~2xw; -J,1]bvsP߾;统є,Ch]wuqĶ&V3Gk <*'gY*(XgYZ0c9469e4651698f44e3e228873be074985fc67b7 5117119a178eac69d137fb85243808da2d667eaf 52c30e72644c298ba06cb7e5d4f15b0cccef2659 607d930b2d74df3eccb1063978f9e70d23154b00 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 c9a7834754ca020e75afb9d98e309c88e75bfb0a e98d989b0d56b347c6ee1a9d61645ae944ef72e3 ea6b7b38328d1aaafa37095fbb1796770c2835aa f4b31db9cb69147184e4ce16d616ef9040dfd654 f9ad8b0e4dc237bddb1a7187abcb79226fec1f90 fac45b2e7c5608bea50d81361142a8f261f776ddd7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295