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  D D1/Ll ]/ HOL-Proofs-Lambda:threads=6elapsed=107.167cpu=136.056gc=6.156factor=1.277zXZִF! ]ŗXf1-q恈ܗ4ޤ9ks}JspSm[ wy]{Ia?c@%l.. j}KD}DZ&^K_aF.)ޒw(hG))MgFQ7vžV%Q2n IMY:]nj/0XTp{cȂǦ(?fE<yP#HE;584֫EN |?_y|[xB͒,r>Z Xҷ*SyAy"GӳxL:kUHBl񜔏 y .(0;t|߬$8Pk% uB$cl VGm-Lr&hA_49~ !ED֐#KNK}29NdZ:T\! qN".AjNYX62~±gYZ7zXZִF! i_]ŗXiɟ11bu)]>_ws[Ɋ br A -A u(]ѿA^!┐E\%/~Tٶަ#m(t-\D'__gIpsfchkڂy+M$ }~Al{p.b`%!7T0cP˹W~Cmj1G',ZgTi:p*& qvo%K/]0 o ^X*h* < Cu!_QGq+_yys-j*`{'/H缩yXh*%{)x<<^Dݞ^qgYZ7zXZִF! ]ŗXi%ϩ$(NM%i$8Ԩ|1.ehm 74)V?zvڦj6U@ʛ%^t֋]C:5]V\0Sabeɢ ol)pϛ`NkN|k6۴k2PX00wMHPfmDW&8v=GI76L&/GV )+mOn# u7/N%CMmYXqƊZ1\;x3'ϲl5f^uZx=ߩ]5_ġʹ~dZB .k? ˕wsf)l/YMejP Ł4uBWJH"_F#u+X[B,R|薶1nRyjfi|ޟaz Q|Gk(ҥBŕSE[ŏxe&ۗf~)G!HGbdC:ះ`2:*[ə6(@l(jxsm {JRdj@9VC 6n.fIvY1ia]8m7dGT̏+7ofo]ZwZь|1`:)TA_q=i1脤v#݆.H)fĖ`XJ\THv&45vpc7ZV^[bPLXFw3K:]a`At=5mnwPWۺ.= 2m AMf6r`韪tܴ6f\@8?- '%-Vߍ L:&.?gVѹϹsZўtcvaW _is]%pxpKUms5.3v̜UOڌ Gj׶) ڴޯI5~ \"m1^t~}VES)Cln~o4g*,AQ@]&k#^oz錺3};Z v+$W]=L7č?驷?!)Ņ>NԳMԏ[tE&="HΓt{: +c0\XӥJ`ac-x3!F<0q?=QutNP_4努t[B<Տq(]Nl.{+h2%̚<|w"L:3 UJJS͏h?2lE#D, ?5rnQ^(WFMѤ9k!)am:R= 5iI9WY=24YHU[ǔ+T_ `1/bWq f{VSLr7Y,#DC{-@O`zS!w!{fxy 6ow\ QyK(3gz8xn)1~YLMsWu BյIN2vEtɜN48oKl5iM7CpWd=ː?c*@<*͵>gf<1|GTR.mA!0|s7B^lrn8Ev_:F\ ̨wG/)NN1XJ›FoirCϣyXRtZHHݴ<3 ʋ`XE6jasv+s0/gMFR :JqĜ|boƏt}8GK!5x'XNvOLTͲ9pBTߤ)="l{H t/W?o?rK 3_h#9E^R¸^gORtc3Ce>Qvkwof>)R&,krL!g?T.#wy] Z>-)!/_rr۽x掼T\8}{T#P2܍6ngGQHfR(Rauq$W-I\7ȼ+α|e벗gԖ9ܾ˦(GPI0aM~A{.M%"3|PDJ{ky/q4B ?!3U_d^|4%J>˰=H!ǃbH>V]/r i C8h*<2_zr\ F `yF8q()vl Fl7T"77$?_z>Nxaʝ9(Leb…-:``nn Q;!/C$L롱gYZaf7d78dc2c6de758a310834290a4f74517d8639e90cfdec0d87addbf47d3382f9c916158cdafeb90 3f3ea748ace90f60a985a1a37e471b490cafeef3