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! LL S/ NormByEval:threads=2elapsed=25.581cpu=48.652gc=1.296factor=1.907zXZִF  ! NormByEval! _]ŗXf1-/6vR[yK6Φ + ?:%Оos+[1x ͭ ׾yQΜ'{M\m L.g<z$.-F Vl`)|xi;ylfLhӞՄ,o&̧GĨt\U>(a xI,1gI/!;q ;hqoxDpɲ$P%8(:Dy9]+ttkA3d''*Hm0-_LW0Bz0wTn}ȑ[@T#~%*kFJ;;&"3| \ ,:.Y-\W ͍`W:`\u` @q)GT[m6H1+9s{ <8EQe(@@Cq3qdQ<`z70w#*o Fe; PF6>r $a_ntd 0|>-bM_B,vIi&C蕧sˍ&tÔAp9,YI.ֲ3HM$f8P.Np[%!HƙzEd[欲xuz.ׇFL(C1 אd?{f7#<"!H6 )uQ/!߳tqwS$PN Bejߡi$GX\PZ"8V[Eb"!1,X.ipzY }?ʹ`Ѩ_\tV"Rl uvj‹B7\ѸO*?JBɮTTk:7C1txi6ḐRB\3:>!C@&13,5 ]>]Xa3/@&~rJF#7I ׽FmW Sjc)(f\?vx.}.9Ei_>ȤSFwX ݿ&~o!ǍVκ nc/jb0חfZL9fDwQCLsl0q6AY2&y3I jI ( ``T{yvpc J6gdrO&QՔut<6`J[[?$@3+0)wO `2(%F(fpf k/0\e4dq2$~wBaZ"kkesu*I>;_]2镕fl?2@WޝfBXx4(7UWi5"M ycj\Hb53 )ϩ* J]v Vͩ1|nfHYxI*]>u@#*9; \ѮP'm t|̗PVy-k:%.juL?kzjrj+aFЮH=3z5TI z^K3J˼]2Źg\L)ݫ"1`X{=;kA[e69FW6Wq&ail2E8Gs͘?lJ{E$SޓDbl-"iUb-:YJ<"W)W\T69 QQ{-فlftx){U]FdmyėC+3&\kw0ܭ, i8 qhl"hӵz=$|r q[ԵֵIv D'0j&}jC*>m(ff큱|ah@EXgE㋦4< ?XmLėQgRradPB ~pZ}"+В :aEGoJh&U;!酐xYtop]pfeZច7g,4 E-J@vD 6fk}wcky^PӚqtJ*R,}ek+50|72, \du @ch)5_!S?&Z܃-϶s %W\0IqKঠ+.~C4ne/xފv"u. lO / n`Ju vQ3˫8 D+E* :Xў|\hV\S4~ݘl0Ӝ0 %]"!2$s{w'OCyD/dT"#۰Q H5>,fڄ cӑhs%u|>8S Ffu&l(WH.$>G]ly+oݯRTuT27|{"^?xAbd~!y w S:vӨnO o1'ٵ IfY? %N +!ҡ^QdH @apɊ)"̨|uT@BpW(CF:5(\Ak( 09Vi7(A~̈́ AJ}Ovՙk-3 ~EY";zT!SI<X٭7Re)A9ǴZ!9lpj@:#n1=.Cx0-NXgYZ7zXZִF!  ]ŗXi%{3m{(RIկRk#"sǖ.Rcce*0%[%qa^U9hL" #H'0[XE+/,_֗o[wc݇F ȌoxCɅ;/tܘ3JX31ԬZz]hi 1s$`,Ue6={iTK $l_^5byLՐ!ie1.,PƧ}xUIa&A3  Ѡ"7%J Er waqyQS =6bc•8JqNgi*C}nId&"0Xt8#SUI22a'+w̗HΪ*0DMO-?BPrڠ;U!=ߓ#&ȮȒeՊX34wIm&VRf2[2d=HE]ܲ#F rdau$ڡB+s㉍MHQIPdF8iJ4>Z?n#w`la"kK{,zJaFYڹzp57Lhgk =f48͗&ٟC_qW2dsDKY<_RFx#fNnWl3˫F33ȼr4 Ju#; x`X0@ف]A*U  +0(3je('-9Z&[SK:AzwiqkQp:L}P>~ɴhS<ƃ!}[~:U $ZDΑsH*`AaIևDNq_ >ocxXxiLW:sM|E!00&P=S7WI/fu.dD@c̯酬`"w3G!G]?5p(ᯏUBG/X[Ơ<>Uy/IuG+ϝM3L4ffa - ($+j 4P $ ȫdTȩI>!-0Liiv؜-2cиy倾vnJ5358vUD{ZY)HƄ:k+>+rLib=&Z¡z1 ZPB]<)BwEv_큰un26(#=lX-2?,_w=1h6Ľ/@fP㛶C!\Gjjϥs3рm}Cq$@Z~?)BPфh0L]kzR@LEa CgUO > y+#𛂧s#i~L\u^d^o8՝g . G,Y6;{oe3ūB c Ssx|S]U>vx tWWQUvL&mm LMȇtgYZ478816fee45c9193309fbffde927fed38a13f044 d45d00c6430bcb32d8ec28d5387c874d34f9acf5 dbfb16504f02920db603ce3099063e57929e36c5 f15e9a0267e9c882bbe66e1a762dde09b651a14f80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4