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 y L,4 ]/]UPF:threads=2elapsed=32.937cpu=62.984gc=2.924factor=1.917zXZִF! ]ŗXf1-/6vR[y,o1=}8qՌY "9l>4RV$^zVa @HEPZmy }։l} `>y$P%=G] S ~3r$4X_9m/W7@l8q Sl5^#4Sl;l N i71%mtwwFO 6E7c'A:g*8[  7><8(H8R/bksCHisr3 +{}}*^BK~@d-àuHv2@sEE|w]=fMK?8\K:oOKTS[&QXҵ"ǚUi#MA}X3j̠&`5ES)}ot~cȴa7V\ O'ԅ_ir$E-YEl;*Dqi.w{%P]!D$v4?Mh{Efh!?Dq밴ܙ?:g0$ qɼ%*%Bff˦ )d+90g!2M789VسkAb!t' ;Yo &]<&⁛H7I!;_yHg4" 1A`~Ywѹ?2.PϜr9RaA8C5A~q 7ȝgYZ7zXZִF!  ]ŗXiɟܤ#k0{/!sY/%1Ub%#97xlo:ځYO@EijB\nnzyn~(|YnL!2-g@Ncq'Fs$Z T\~13v\EwI L,A P_] q[c5KTKbt ܢģ,`q_Rg2YZL]+/rzY|RH#ۂ#U@7Eʋ RngYZ7zXZִF! ੾]ŗXi%;ҵa6I8,`"C99g! T#t3J!`['kN4 ozws1t<77|AW=u K=㿩+nTC{VΦ67,̸ O3s.Ney:c2ATnG%非l|m"|Vm8ةZhB*4Hx^__՚rɚXT3ׂ90ԆuG7r+yR˴db|+\Ħ*{K4?P=T<*IӄB+! l Aq&'<޶領P=h[zMhn*G!b,Zf<J-Tܟ|6Џ78áqR~Wڳ2x<яE& kWق"5NA :/2)mjo@L+gj4M}r(7mEGr]8w5\FlO\0y ?c'ų2 Li/H /7 <`,4Ֆ@,oj'UQ2/螴BJB:~`9T&qV^KֈY5/c|x;!y׮嘔euwH 1~Qw_{_[8--HHK2,~"xrg4t A+䐃GmG\S.*9^emƭMĥ`! k&?O81YD MykJzqDU2 3m fpXdr҃՜bhNa3oqjTnC]hjȗw/0fr [A!L;칹O'n^(+YWt0I%Fg{cBYp$X?-NIyPzn8!J҈o~| Wo~J3^@ݞRs"p~ߧS)I3pi<s }"Y*72mHඤF[@fA',B"&Kۋ9 *|2.g#꥿"&̎ 4l 3҈kRcg}vI1*V^][[YXKɏ6eׂ.NH v=YwdL2G Őݼ܀tҌ;kԘ6sCq(N׶&_[,Gyclrs+5kU4|!4= 3 8 ,|mN 1nʬ}