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  /t ]/ HOL-Proofs-Lambda:threads=6elapsed=120.659cpu=146.376gc=5.280factor=1.217zXZִF! 2]ŗXf1-q恈ܗ4ޤ9ks}JspSm[ wy]{Ia?c@%mX,1b)XRaNoԏZ.Eӂ4OP H46,۴ܴ 9X/$TSGfsGYi5 Aӎ??^E串?ce|hz<ر8'n(ŷT:*.Dk5~7+a AlތJrl0giW83A\uePpf&ü辐u絀9Dɢ 姙&uVο+gt=z^p54 U…KWZI>YؑCbx)NmcM_ J8_8;gYZ7zXZִF! 8]ŗXi%6t?OBZVx ԽtZ|zQokeCf1Eɚ]_ #<,@JՃe Iy7=ΔW̝jV+ࢀpL@pmk@?zVZ#/԰r+ -17=*gdIwV^q앹dz2W" NT*4q.@RN? `6Zˉ#Mo=捾 d.2/TnEkNClQ7YwlՖ:p,``>Q%VƼk\,y䝅_ٸy8)ވeMZt\r9տFkQWhRBY^1Bwybɍa QoFr8p8mDzcL]4=C M K\'9"H>*ʬ4I\I;a$/oi4ii uN6 Xf2ݭ]&")[@$)Ǯ*sEX 싅Hn^<Ex)F*('&OR0hhtd vnԜLZkDZ& CO2#pNt]}*3\^u-ߒF.<ϩ_i  (ķ/A%e&`1A(@5Mܶg 7{J|[~"IA # < CEqвd/<_yɼAlYwXΙw: ԲLd-ָD*Y^&7z'Pe G F =`Ѧxy؆`F&ȻpN7. / HOL-Proofs-LambdaUy+G@q/ey,+M^WF/L(lÙZGO4D #-8N{ SypxxucObnYӊtc#n$9<" YgZbmJbXUm>#. 2,?H9R n6rCOZAgr5WA ĉ/ ƫj,v;H;!#\e=jۛi3 ϓ/B鹿QѬ 3_ň hW%Z8i=mכѫ%5rUACmɮg'd.F GlzG4@{.JP e+KxgD\Ecނ|;=^ܡey:iE;Z)&0JgWG&[o`u ?0RY -eۯHHt☼qM#H Ns!˛&=}zc2v+g,_a^L. -öĭǂ%PQ9o1P@=5}Fj',H`TT&Sniԓ 5\ ك!4$cZ7XK72q`?}/` ]X9GiJ)qzαpFGt) |ܗڨ`<:RU;e~{b_TI" x!Tti-). JvPl—ks~8!@2FFds^niK8h-V W,6cR ^JPhۍ* qUu#XJ9mKjmsTϩXDNbݛDNksB1q]:_sUj}\Cٙ|#4MTI I/ގQ=o{/]&.gYZfacd0adcee413f441ac452dc351362ede0f28597b32ac976cdb9d7611cecd21164b5d37d166a70f2 5e83fe6e69c504006bd4c2a666af1f468dfe15cf