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 !D ]w Call_Arity:threads=2elapsed=94.964cpu=151.704gc=6.444factor=1.607zXZִF! O]ŗXf1-/6vRZy_:8/ on6's25J=X ,rVgz:K./י2gy[eU\L x+z-~t8$?6} @{i:GCswFaoSώ2{Ia]­:S+xh.JvLDhUz2ׇIRŁĘSVB"Kʆ&wNQ0e_8:)u?jwLGA6)ԛ`/ҕq z݋Cn3.NR>[@4NV0fʿg-諅Zj[%pHkVIF| i_m)^EYa3dcZ#ÿA0ke0`FQU5(AB@~ktT?0AW @YG^ 1mS`~$;战c~fy5pKEHTWx YGR k>JA=uG #u)t{ݱ0(EeA6%@>h|n60\2[g:GJ)bDe75:_^]E6{յt,xZpӄygGTf9^- ;}c@y{D^H:*u5Hɇeq7z~D$v&t2ÒViv1JMD/gW06[QR Q*1?]L밒kblSn3ڻ cIzzcfe9M 4=^PML3)?G\'l?Ruv~9n:$S&<&B[U](~GQ~NY3N쨃T2)zrݪ@aqulM.9֜AxIuf'U?24gn}jL5Ҡ6w %NN~Rppm[*Z†t,=zؘJ%f'T♅1]EҠ=+mǝ﬑ѻ`]4?U>D6frz$O+hѿLhT|?!"ĥV.Dj2BNm8>GLkW5J*5륻lP4FsZ[y]s.39 ֧󂌒GF(j`yKqS)%0/* sW+Bi pt5Wkxj1*P@g9!?!y:Z _ja0c{;8ýz~UC\! W)],M,zD@ٲ}b)v#L~ p?b^Sr'="}qVsIz'/.aO&<_v䤩9Ns2} iȷOd;=xQ|β%%J"VhnQre/%OqA uϦ굲8?,}[07g";uFPfKIjb*=\,p״<#r4\2m7[de5iU25M*^l ;< =auŪ!qq/4j۩ph/x7#{T߭KԱn[9w>3"x4WsgtslP6nGxptW&~:M@`98[tH\3zml{}v5$M28Hj<y& UƔQ^/7ȗx_0TȄVxr ݉f[9p]gA>ep("]6gYZ7zXZִF! B]ŗXi%6Ҽ4Jb YÒr=' ~ Glhi|O  F'~I:iA‡p:6a5pOgXdSG2! cwle)wv~OJjapda6Tb^O8FXb:T/FwiYn5嬘S hl +Ɯ`I'aNCDN")M78abt-VNÁ̂WzZ$8HaY dJT`Ά$5' VB7XxNLk).d^0+YB>qTFxqaɓTݔ4h9% `hTZr[ |_ض&&o 倜00VK NE9k] aV ]NXげ`G;]:&p{2 gjzJNg=LG2F_9$کTXI7p璑0M:M}_j䪧ϹH$aߏ@|^G:iۭN\c]yT++pr|KQ*u<~Nm9v%-a7j)H B-Awj7F}OD'KmMLl4/?2[51<ט>z$d >McEBm_6x\yy9A2U80W-@'\WP|QǺ/  ! Call_Arity&AپWkP|,R "دT% ,tOr!z,wyYz}!dB $y߲YX+d)x K:Қ-7) BD覣T[10\‘s=N%25,Z\U u{t!s1mXͺL-Cђ+粰x s0WW0"/v&(>.$ETWwFSTc R`Ɨ]喣"ap> VS6vJF:Xuf#IJYKM$>CkzfrވNƼ/8;DkBs<8؆Va]]%r3F9$j#8:{&fu,{MmW{RZi~c 6(#W[\[CF굾3O9ݽt*l\{7wN^?󊴝[eج}ږi`d:0BCY¾73N=J1t: ,U˰IAnϩJ bH"[.bkZ# uڳpT.OqŢ,<۳1 v!wIIFMbH"TM0m9Yn#DhA%78܁ap8(杆K~tGX iwp(I,9>nNkƾxAGL~kIHQ2"_9:t@$ņS p;ݻ|̚=#w3KFRkEғtl*9lkCSqUڮ l)nnH/S SoA&h3"DifY4C@ 1 Qn*W2D{c.Rxq۹v`ĵ ǰȥH5.IhCj+%x2P d%fBh.xY+*Vn zl8Ȑgv{3`fe{P6HW(ė561% dP>p,-ero+Gٞǣ2ݬ+.V d3ZIsT(0iuQLA b9O$%?mvaKu$" ԸS "jۭ5l44@{ O2Xq'fU֘^S7TW]~(wUz͛fXznRqyȭߡu#x!C~eUkASXbXerdiV~w$л}0^~/"uqe񫇉3tڮJUQM/Kw=nؿ:&*Z t׉C>zb͊/pĤ sN3`Jy1TʆY F#^ksA/p[̐T3zPm89[ldW Yxin v/0jVG.22B ڷa$/Jilh";@8PiTfLOLfx|B)oz(ݠYY$[iU%8-}/8s@r^I]j߂BEdKdˍ ET{K: l T'W$>Y~ˬ0>3nRz? BjGwv?5 0`5TLMJ?;>u-^^ޡ0Zr$U8W(*=QIlgkޏ32>2 nLݔb\{.MG8F7—I?UL9MrrV79/jwZҎ=`wC"#W,ɺT"%5s1PNG:#čbѳ̬Ӿ,kj{o 5a8?mOv4WMX"~vR1|YC3*˷.ICu;@VaR tk }vA@FґNHKb滶I5%t;d^t H-K?wU0*!|oUшYw)<u!uE (֙>lgYZ23974da6c3f5eef84a811a4f0a718667974cf2d072476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28 2347b790b36c0821aec4468d962eaf674cbcbb9d 89c34d7aa59b544286812dd1f40b0381d8be892f 9c5d1179ab0e4dedc6b29bc06708b312e4dfedf4