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 5! $t ]%]Launchbury:threads=2elapsed=46.559cpu=89.196gc=2.964factor=1.927zXZִF! ']ŗXf1-/6vRZd*^6UaNntIBu8u ӣ6)255hIt{;dStzټ 2)?"DMG3 -U\@ē%goQ`aRn"/=`^qsW![P8d͜Y$g9fzG^ɾF/jƟ06 0Uf1%3"dVf9GRrUI#lGR.A-BcIccG* BI"ɫGQ4hۖ{mCG\އb=D  ! Launchbury}H#i(Qҵú:qXeEnr/Z^1_)K?ˉ@y@D(] >R dZڇD)r2 bF-+8.O+8CG8p9wfs-l6LK4ILޱ p&ґRWB/)@6k_1mp5b?%Uc5R<l]ș^CwA$f1wMQJD75 Op,H]Fcw͆ğߵ#YQ[ z6\EGyWljeW S^܃!8ۙ)v2{H?,tzs)Gd':DL3٩Iag5=e&C42Q Z–Ct m@$RVU/Uga ܯ-%'QE6XNq8V'#*v{I@Nl#|sZ~],Kvp᡹˧wfpȑ)V QZ*IyMD_]cql&D>PŇKyOpH]DDS)?(B ?\`sbY_ 羆/@MOu/0~bS!i \%وJ<\}:U5'=Ϊp~"Xzb Лs2)Ԟ G!WPyZ:0υLײG֙WH!ơ6BvU-{}4u oΗ!f&/*լ*gQ`KohsͭhƍI?!_jdsÔ*{:5H˕I,8qdc&v\;Bvӛڊ."F@A Ϙ(wxSkfpBbf58#w_,ni΁L(LicxpI ԓz~_j1hb?3GŜ*WVKh{FJCwkxᘚ{O*ʩeOw;^CRGZ,ؠx[~v:8T2lE 9ޭJtQE.?YAh. Ɍf's~oqB-MbD@{*\ /IuMÞOg ,9 PF%$$Wh`%^4s G ;$O]oI-9" 9zbqLq"i@wJ~8J)%ȈF1PƱE)zk@ӑsQ_Zf%pҸ4&$̅M {| ]ͷ-5cy# ]ԧD  cw,bBS"n/@ۧz:0{{HKShi WI-IJ4p|mg T|V6+k*=d~ܶakE;T&99|eiZ*Q&B1$3jDr v捞@P"ẎjUX,#cgfTP$V<MKᏱ/\ f"c=+o0l$Uƴ-+<^moQY?Sؤ 7ˉFZ'=xXw<+UT{r[?<БUݣNw`YܽxZ5\G=8Ĉ]Ҕ[X` . Lry7Gѯ?*#[tal=~ݵHZt\*Bs;Kѭd@{4Wi\&&[]}أ6:W'R\Y6J sM F%̯ _$ ŜQXUF$#㗌 P`[wbk V~*W\䘿(wD@[VB~rauUf@̕;SJNaTlH?M2F?,C XOHNmUy:_9+|r$)ڇ`w~Vǽx >ÊCȔ7ap3Ba J^C =*',|;J&Ax񷹪 -s86Y.4)\,]ߒ*:* FN+T5[PEop5QZxW "e? <_tQ7({ €WY+X͙#x-xՁ7}ZB>I-Zڅ?z2݃E Mpl))᳇Bh)