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 2# d< % VectorSpace:threads=2elapsed=53.263cpu=95.284gc=4.172factor=1.797zXZִF! ଝ ]ŗXf1-/6vR[K.}b$;" Q}ߐE&Ar&5 ##T؏^~g<st.RZ^fk9Ep I%$G@\o!; (Lg2@iQ?'O/r1 ʝ_+lÉ鉣:wעU>=]e8Fhr܃+{K_rK_}dMl' 8}ob%2E!'p󜴫Pw!ײgjȤUO,/hEcBֈUw\x>:iALY3dUp`6I} SQ(2]/rpow'0/ˌ Wnvo<&.cϻ_G [s[NΪڶ,%xʷyt [XTM ʓW.'FOBatzD0r}=3eCXzO9},at"AE4X>Zz ip>CaׅB=?Yr( i~Ogn+z1W1DytnY`ɭ`XR$xJ;:FQ#P3#0{ v$R%6U䫯9y费߼rO '(1BzJҤܑhJm+Ӧtt" ,,TΞ&k?6~n\5WĈG<o;0G@I-MUahIl0A[<>_99vAk> /nG°3ehJwʣø0NCZQMU>熸 Pc]tv' !CKN0) RPpג(IѸw׶BRQ[Oyf*xbEPވ/ݫ}ICɓ痆bR 1՗WەAN3xqT "^B>M4<#R Q5Kǃ`T+c3YIY9L.%vʛ 2If8]v+KP:A@*+Zryf< '&Mh]9f%Qӫ~-;b% -e,)ǭ?*\ծ7qL'cT%C*kKU[<^,8Vs< jjo$Js~iZ&"U/2O_r+>A0 |VZ (4M߼>ew}GsGj;_a%V+%IKjsTp>#5U=ڒ "[E"SjU`<\ēju݊0齯U D{愽! !jΈ&2N/IAFhttA t 0 :—N szŻqoɫ eǚuZNC&C=gE1' z&+N@㎿lDur=.#90|o72ڳ sS:]FEjydq >^]Orv@K.HJ%<+lg|= uXRPSӔO*r;fooGY#K٭h[%r7x(.Ym!^og4߿~ ΄06Pk<)~]=}|' q„Sv u#tg@\X?j 'BaJg]^х6hแ{Zz#σ}0k-t-BG(BRb$R +H "6 u*?;o%E-(s)ڒ-wr`o&Rp WbmY[n+aEjw9ħ|kݑx mF4C֐};Po2O 4;Vm./Jm 16jsс!a!ּ5YP{&s_/&2N{L2B_h6ƥ Vem{~,'q c4|,hW}n߂GU1WUm \/cHSy2$ʅ`%Qwڏ[sqͧF^$G# {jec_ah)s2@_xC?B(DKO@\+CL+ RKDc 7"mxz X9F)ϊr|U'꩜gçEEuZ82F$W]̫k"F\yU͠ y >< 1Z'H{0l-Cl1* 8kY̡-DЩ{QX g<]4uqNt=$ ulYےw=j\V$#I$vMy[lt>~v$=m["r5'K2oq J){ZP>}[!wsPv }g 3>#5эx7v}=VxyIOj Ad LyHC%= #>RIrb7R%.WQھӞ5{x2yjC@`1f WTl=hdYl)(jUJpnIiNL[so>-'ɞ/髣K^G(B2;<~#&/=o&kBM4Ժ,.j95݄*4D&R1"Z#Wiw¸<SJ$j^Dk9@zh@^UW4"y[!/:_ p2}Tșc)6Y iLIes_=WHb-@n&īH>;IsOޡ4b0b쪠gM<]&Q:`:+cȋ6 A/M:,, ܇S)T[1*O1UR$G(9! ;25ZIK2#2X,S_*:HM-VgQXBxiM6q@ @,\oDm!DTvg<+wMyL}]zkJwq6 _4YiflbDtzב2FMKi=C֮gY/ K&ij|Eǫ= DPMۃXѻn3ĜI Ɩ? #,}#O%ǔh^-l,X7GDΝ['}"`M l,:1b Nq0'tV}0xg6SVߐ`ﲳ}!B:EI\q6!4RoØ.kAW>euW QsQw ݺG(yM_=Tlk{r,6qK&i4e{%Q{+B!JH dU5E@<NC)c7fۙ:޹PN2FƽnÁ.ƆW}H OԺG8m^ `2r7dT09tf}6\8AHg\6W ;sҁ}d0!*R*ˏ,OqCq%$EM#iĂ":DtۨN4Vهd솣/!#T:aBe];+ Q\.oɔ ?B,Ur) NVG]%M@vAR^0 GGsy75|$:RXU"ܺ0'+c/j9ib~X=Irqk`ϒ ^f%ÑB٦'8Jj"X :gn:Mp}Dzi =o Fi)rwUdCs`$RC;\ڢ?2 m/e,ֵYl rOɞ8Ch1!?Z ;dͩ9S:2퉫Jw0]%i?_'# `M yd/N1mKZ6Y~wRNfFPҪ2=+lGQGGe6!0 ))l]HA6$=Ȏ|^Q'q _XDq]-/3=Z%Hh sjYr%q&tN]