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 ZZ/ 4l ]S]HOL-Number_Theory:threads=6elapsed=41.897cpu=190.472gc=10.260factor=4.557zXZִF! lC ]ŗXf1-q恈D='-/w)P5$WD,^D7+ nL͊ [@ ըQH.!`20ސXZ5`kNC,`XLeF,rO[ibb/ZHQtψNV|­[V hNnˢ˷f,ճXBZԒ%ڛh*5ߝ9TONQGnN~6;⸽ :m&m}g э#QIڏ`+QC`ægTBz1lu.; :zC<-J*aK2s5Wg?>`Ȯ!͗O#r bxsԥ^:df2ۛç}lNuu& 1ӡ~䅠%[^0Xց$\5}~QX:uF rFFoI؞, gct kK#h{*a/m^@W}^rt/ t )X.c7xjƹ#6Ø*y=0s;}htڻ"3y Mw=e.2&V@Ē\`E MYO~{*̆ic۱xlOLg? Fr*qY/1_Rc%HpIb,қM~#d)p/U_~@_$AEv:pbD[R+~jzS+oӺA69(RW-NyƘ O@DDC1vp#ʨ̈qwu|M)sw#u$t8k`i }``nn #f&K>V#$yj7U˃k72Ŕ6\ȟ@ř p5=V!T0 Gќ4@}TV'7]Q(D}⬓G f?AQJy<`_]C6V6,ǼG㙏c5~w-vN&}2fD'Ⳬũ)naW(_1-#9J4xso* j5*R|MkCYcZT~bqj}P->׉5CI/Uɹ3p:w*AHe(r+JS"xd^VxN ,6I(A+dl@Q b,@G!ׇ̆o CNhNݧشg!ihmqDPOH}GTi u[P[Dc\Y"EgIuN<^@ݩ0uSv@ G٬Lif<'4ple Ow弚Q'r6GɸОL}-_=U*FYf3ؖ~:qVD`2+H p1_A ǻfG'1uv.ku>.Z8俏G+Sz~V@rG.*H9xGb ύz*gwf hٝl0ozq+N\$PA2D=R;8a~x u\ Grfr)Y*bʰ)~muC~ݮOm~+ yR/Kvmx?<ZR3EE1ڷ &;A'3#+Ua8D_Dk>)&!}##B/j?OJJ$Z^nUul0\/B8^r_ٹϿBvW~ KA? _Iy}mђRf^1_hiD #٧|L}2?,S+kl6 &c]jSb4)r+'_Pƛ / HOL-Number_TheoryV笞m9)cGxeqN] Qq..HhSKRO6AOcĚݺzk<T)CgYZ7zXZִF! m]ŗXi%;))FA<4t>EP 10C9{`qiO.iWrTo u>D:ʻ@B|,g9$s!=z厳>Lc샌 頧#9s?jl\&a)؞.U_g:Ԉ?.+d#y>6;셎|~~ByaKCfŚ%jT¬DMo7.n5GGH2d~2E Iw^+MHC [z'W>q]vpT%ηo3v1_^~msNG^a-k4}bo@Nt;tJ. v:?ͅa'y. -X6h^X c{&P m$ǚۆj!qg2%}[2a鬌 RtGr>.j";:EojsCI5Jq~@qS+Y R+o!IӘ6_RmZP-(mPWd19xZE!Mg",=z܁ n,=hVnm0# 1#6QG m*:1֌*·e+wȝ.*Wk^{ vwne// O Vw_ٓ+2^P@"aELYM#v 7 dHht_ԏm6r YHzd}!德rȝ9ʋ+XZ?E1Sp6M1Ɗɏ/X9:m3)luYWጭ-wPLP"Tٓ+B:O65ŹO#' ߲2 #B s@L%s~zJy[txhgWnk.\YV{'8^ȝެ102Tצ ,Uk@ pK {](49kU /CuKݭO.#C[Oʁ4=2*繹ⰽcsb,s74~Zr)DU[UjylF"mhM XlW])(#KP6skwMr8{G gӔdL@XnLx]9X0<bgW;0bm̽a(!Zz; BZCf*EZ8&ΆP Fzsd'xXl't:ݫ y n184 eKN^)TrG&kۮzƠ;qc$&X0C̈vg{EfNCnv8('kҝ)Uϓm^ã  1@r֢IZ1/H!)l`ҫY*S