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?D,| ]]HOL-Computational_Algebra:threads=6elapsed=33.953cpu=104.632gc=4.140factor=3.087zXZִF! +u]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(I\V!Fsom%m_gvr"9C\ "i) ?Y]>vWy?QM|j`~"9kޥ2H=]^NpND~}SW{{;@w{v4=k wl.IIhpEZRLu)l 7)|="(yؕ fcAi\ܿ|n "LX ? HOL-Computational_Algebraz`vfGz.^ߤFA7EåW$2жÛnTFpMn@ '4爾] 3|,ˎg((A0Sv2 XMWnkk9i7<.*OUG6q=2FOr<)uQ3G> ] %8\.M˹O& 2ח*FtdxK*MA*fYo`z w\ᝬHA۲īecs*Ia-D *;#5v@*r_zOce-l/SzVnyB$t5>9,l+`AZMwl6P 2JnnOj/bEcZ+Y^*<p @e^Qm+U&d}%wܢB-WYg/(cl VWrP}* []/2sӑ1se^1%,bmGwՓWAaľx䗥> 3;V0z\\v^$ώ~s0a#8Ebp`.GPyWp /*Bd;8Œ˞Bi٩RBj(uFPTyGN5 AgYZ7zXZִF! 0 ]ŗXi%92DI>AHܠtgNȐ7ߺvTQ1K^;0 t<y[Q_c+=qa0-2`x]؅RfD]O 6ct~8#T q5(ؚE L .ru)EoV,P쀩q`<57f4;6uoKC#n#&$ޕvтb;]9܀0 $0z[':v1ӫWډVWj 3h$+@ )%rW(e:IFNmXF%ae7Ga;#0nIiPq`UA X5(lIi]Y2TP, lGҬ9G  .cKto(4 !d8tW`rB,nƯ0_4t-B| )̅[nIIzRI#p瀿񈛴-µJ(D~Hs0fGΎyLDJռτlZ_ǾaDq'5s 9»*C-4"3dῶ,l~̜ P^0ڭ>IC/M_گk "(P =ftXΙrmw=! fs(+ T6>7#? ?!]% t2Z{#`貚*C_-QtyDnՆLk:.ncT /p< p QBV[!8#a/-i +1xyMUΖs<ע&YXOa-;Y+Uw} ~Yr5[hZtbEy8E)Ŀa˶ڰIۚA?SQn!&착g k=V;qȭ,f%j gh@a+ z,n}~->$ = N89VͭVe"Rz_԰Jao[06Z_s(EgʓΞ0 2Nlx;@d"|狪-*jJv##1D2c@MKN=Eg@7@0qטA'(J{쀼JU)F\E/:niWg򙬜I^.Rч@!8QWOcG tЕu "FِiB1ς@`t`\PD}b㠏f u}DFq0 ghiE Ň>-AD S?O2m̓l_N#8SJ!$O3 5r0NG!mOSzq[7z&x.-hX%L%J+J2_nG~5⽫119N'Ru 7Ub>&ӓRm6 |jVg): m?uީr;9w0ksD_p#JZhg*Y1pEߍW~wN\ Bs@Vv2 C>-n:HO,\JuUn2@8Œp}VOM။IǻۡX '80W.&Aה"RӅN ɻ60Xq5:J$81d%mf= N\;¡`Ko/G9\3"rvaΖO^i|D2T"Kl9ah=HQNجnZMV쵢>'AIyl}'$r=r(^'Cךݙ{睸"4xC 5~3-ZDq)X.ZĶBmKɸr\rYӇ(,ЊT!#R*uaBC]g"() rl;'x촣Zx{m=?]n]s:\ɌS$P(aUC.p꤀`<$2j=;)WL =Oj%'v#]}}jClʩ(r r oY[Lxql[2c[; x]ԋA `W4bP XH_!RTt\p΢~SG}Bp^gc