SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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   _ \Tl ]]Deriving:threads=2elapsed=52.334cpu=87.608gc=5.452factor=1.677zXZִF! 6%]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=>Ʉ?HAyZ{Z>dgl8X_JD|kOcSݠNM ́$M\Y3= mv]\e-_>o%KoyhVКZyeũ1ok7[{}UTL>ԁ[lw[i>Mr|p1c^zA+ohћ)&34k2,D|qP@QR<6n}p]m?s kwqFR)5D=_)^h~\XKz 3G36M}iD@o\Fyh(dB\HkS4=e[>f*2ZQ h gx)`іɮad=8{;X#]ۧ Q&WxvA,&]~l#ߚ$7,OAƗ" Ri<7ݝ%Tq𨍳5cÇl@d`e*lP"Bu+!)v"MoR[5ֶ.+ADRY*|Qw-J"xn,SeZ R;meڃǔ^;ԝ:Mh"d>'v=".Y/;cry `¹岤m9^huŔi 1e_13H,lJ\r,`zZB2p e`ι?P\#dWWKJZf XMSik6d'E-Y6#9 ]P(j?ӌh%J-]ڶ1|W3 r^*Nh~?e(iTorHTfIC(b2J? K5]N$@4%~Z 'H<'v+6`h1@ *2 *.a.zm&Vꌊwgܧh"t(h@!QiѴWG)S,J@=p8S}•xː8#](1%5 mx˂&RSp+c>QcцrV 4 Ͽ|6D7,M.iN]$ :[rޛM%4*6MΛ9g䜕g"[\F&&z5]LJ`+c\cTX8{KUyw ' uʼns:K_Ԕ#V2;/y>+? 1*DoL,]Ղ-]psӺA-4Qsu xxۨ~v.̬c!>1F&JԛE3AmꅐLz6DĆQhp͐+ijH1NoaQөzFN~8HndSSG?'!M mܢgYZ7zXZִF! b]   DerivingXiɟ|E\Ât+.*aphG)%uG:}C@ _lEF*qdUd^|a7ЎZS~9_6#ly¢!ϚqĿE/7JG4܇…So -;rWh _jjlHDvû(vdҵb ^j)nuG ЕWYߎ/p{w^F\?sĽԼDo!Z6j4…Z3PF,ܳ^yocG/O+/{͉_A#Ob:܊؁).Z>MِINgs=Q 9-2D;ԁVyuO', "[0O Θ,r6 !%$o CڄI# ne4pwqHOrsJ)E38,}=Iҟ7cdSҜGQDf{" zrf|3/Jlyjs5+N:nNnˀ] >2z1hgYZ7zXZִF! % n]ŗXi%92vy}/QMMOͪR|O5=PrZ-B " ah ԏ- {/f'!4J_B)_BHy+ԤJ+RZĮrFsV$i1?ٝ#Ng ImL3 p\^^AC~]z9b).^,^Ё7B+ ' ʉ4pW-<#Uv8fLPgZ90% [heuv #szhy3$$ uDjeee3iC ܮ +r7hƪ5%vQu"=i pb;DכX? evbmb@b7Fv#~D} mh h*8Q|%Fz9|_5B%zT VVf.7c俄tBaF/*uR>sDC,X9xD䕮>yP8 v=Cc-ѳ_LMcl΀-n Rwj`(ž w-sOvo¡2wu݄-)?pDiȹtz:DBoIݬB'ftCćg(wēnȤ AUEw~^М9Y}j%{q!VKUb(-0]>tf?{:,^҅AYj3,=('fI:jl)w ~LvFQxz!l鏎qݭlr<8LB͎j,[y'P&GEMFNIqYuŏ_0vЦf@'K NE[d_>sW_EjۛT 9RQ!MQ\#+AV]]pǏı eȔC 9)I7crHh.[Gsے%W|˩.MwCM3xd޴oK緮Wߘn.-`-o^# A*聍$(#/ME?O$` 3>Ix{āiH] *RR^ߠџxMuj+ &u*)mSrl&wdWU"؈2cףv^Qw8!Qx[0N"?qܴX`c>sޟ5ʲsي/dT`t=21/ϊIWo4N\A;bΔ_xG ^u+5-/V$s7)xЌAW rOϔyd0N5zGk} |2wepC1͡i`ĭ~V;(4JEmgA'vjJBc=t ye%&|ݕuّxZkXԁquHի51/[T%|hѮ$)|^GŽ PscXo[}x-| o3sԼ*be+ 3Yn)1!I|lSiF KiJc/>|WfL$۝I1G:IsOq0!G-j@ қ˚@NA3fyOa VDn+:Hou7M(m_D2:v"\;>MWHȊ̀Tgmyȸo>jt{`d'\_\@}NoLˠ) -`3~G*~Qt$?7fLAFq[i5DrCKA|F-Mvuf?Zx4FQcЗċ_e u 'hۭYSQHL;?pa@LgYZ86920ab3944724563f2d25428cd1606591c928380dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a 607b584e29337f48da7c2b7111a6e1bd83507c61ec45f054bba0d14bc31b78ef7f05e52d01a4fcd3