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 441! \ S/ NormByEval:threads=2elapsed=27.542cpu=53.460gc=1.560factor=1.947zXZִF! y]ŗXf1-/6vR[yK6Φ + ?:%Оos+[1x ͭ ׾  ! NormByEvallC@lW-7B_Ij5)o3BAPt'H|c>A~ԩo 4/.FForͦ[ax9&| E$KD!IE*tfZD<[e"_05PN0& BC3[6M )·/g0ؾ5?SW,e}is`Ӏ^6SG"ǽ "sc aL#l=_ujZn܁`BnZ} ˇI9Uet;]/~,vσ-c)LuCR9,r]c7}QYK:'OBC0U r"rf}$zjHҁUX8#CX!8"Q%z9`q8GO%sh ;X%p4~m6Z[T3n ޡ99<$"y2|bT&R~'s̗K(7^O";WsRO@sʁFO9a*2jJ *xd%3b s:\b,P>ܕmIF}[:е W"Y2DgAb{8O]^R"zPsݚ5(ʏ_%^z9u @vN(~rpcA(78:"ևmgFwv9hEw1u(kw\"PSN 7Rz,c Af%fB*_pF2E۝7t(55 !x~h&o3#h2716R0B{\5V)$WEYEB?fv7`bc4arpdFhKVߘ7 씎\a*80wO&ČϠeFTKkX΢t4!ڎ );7A!X1>X=r ?j ph kk LF!{ZOAUO`̆vXg{|a7S},)v%`HJWRZBu7EHPGvr+Ih:5u?# NpR )_nq>l+- 1]Z:5icU2H:b?U[tC4+AT=DLJ/] 65<Hvrpvr+B %V;jSvR y(+'gxa] {]srzʷVNN]R";T$CMA2&No&V؀hݐM ;g(=lOP]{لq#5Fod"N&\)| 6UfIe mSv%FjI\" "*_&ך lj[d@]`p|1cˢ2V+9 K'5 `8SV@4C9xizvoa!p?g*(V5A;Ҿn.E7YD-oPP7dc>@x4 Sh?[a볆*eȰ?s f %ΔM,hk'zOC(oeU2"~r%$)TaĎxaNuE;,rI5xrY.: Qw]c*"/DFPȬމ]ǣzpH[*&_aS p Q rv:do?HGSלu5:„rn,?̰>@k[YzXڞKXJ\@J7<Lr7D)HNwe|NUUX O)n hQSyd`goҜ\scϮ&%^Hj0⌹IofMͺ%9n`&5r [Jc :vefƢ{3Fjp!a"'PbJ\G֐;TɁs8X56l;>9@?%uDU%J1AVγ*mi%y. ^'4A;qزrx[ڽva{M'?"^f.;g-ޘuJ@( #a8d׎.ܖq1ؿ܄OHk֚u'vGJ x :4oj`<Z|N8F"ʧFدsU`"+dv1> a͏r@jjFR,Z~F`=0W?zȬ7 N@CJCח:NjJxe<$y_m辔9c|7R%p^jC_>, )VɃc,Ųq+FhfS'gD1W_î`ǥ 3!ZgYZ7zXZִF! Lf]ŗXi%DQM x-B!~lEÃzbzJUZ?!2mWU?y{`& R[|h4&澚m>[ 5L bK79Me|eVJ|!wQM*mTDGaoz*"/-Bo" kDzaaCO`>GxmcWF%zɝ'#S$TAOZǍo[4g[Sy?8|лfE/8dxU>M/ٵ!nn#}v^eFI̧ž:V-=wRa-!T~)L:LG\Nкi-U.ƹ)c^Mz&#=')Y#X~epvZDlQ {Y˼z]IͶ0`(Pô(5d0NL6e?Y *:Җ8 ?v 8Y" (h!D11M_t Z*ܛERALTϛ2C6dӿ9)i1FYPx1T?+С 8rW}o> lRǥTA7%105 hn}ks5 T nj0Ia-_-]b@gV0.9xCZoܥ+p.Z][yxyWC7NSd;4i>B_lwf[&CO=;ָ]b]бTΉG(UISє89'nj`)&-&gGPq$"ÙIZG;ll {+ N#t4'[2O)`=a*Qi^8SDin)Ë!Ui|04o9|2AL`Ͳhj&42)H~IeSQ3R ֺdCq'%y"7ۍ d8?B/]EI bUz GDyV9vY4IM@i͡LQ"=rA_/^0(8Ǔ㏹HJ2.^^khO27Hi)iy((0LʀCh환ӨG;ts_K~D-W"g/w`]QW7X[Hbs7$sGT@eغ]BTrkI +t~J&jT2͸RN h?(Ӆ!RVR(6s 5rhqRwQ\ fda&DHb%} e&ɤc~4O:5 DvHSɯKn P܊I*n.Ť/y:= ʛiI"ø&:Ww@+Hƛۂ&z[_\1⿼4 w|3]$iKvUR"yu!%5+>żH-4iIj0=+惘IXݔST; .ڸC͚TgYZ478816fee45c9193309fbffde927fed38a13f044 d45d00c6430bcb32d8ec28d5387c874d34f9acf5 dbfb16504f02920db603ce3099063e57929e36c5 f15e9a0267e9c882bbe66e1a762dde09b651a14f7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56