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  N N'% 4< ]Regular-Sets:threads=2elapsed=43.982cpu=83.396gc=3.540factor=1.907zXZִF! `]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+*_? (WGsUYU9z Krltܯ3 6)J6 (2 )_}ժ?\1J΄gY7O;Lf\ PEE1dQ,'&yZ a6<ߒM/>]S~+ T~bgelW!]/zc(F݅ 4ᕔ4An$LPu]7Fu&x3n!Sz3rpQm7D./ 103u\P3[P+ŘIFn*"~tΆqm_`zl'z*B#RP-I<0241fi*bo'Se-'B' qr3n=5 `ƣȚ"繐_;hR.F+M=B %#pflZg_%,QwxnN`{?V$(T`kGt߹:= ߖ0Ab,-gG_ODT0}HoIvP.NqǤݘ]] GVUW+Ha31Rn!]g~CS8tBhcnrt֭wI|{[6.zjƻ2'lLL4;X#Op`KWxU[wri*bg7*$ fEWCU$ԬP*XE!ceH4{7n/2X]h4rڍ9CC4+jD .fػF49f‹ k(B.Oׅ/ % Regular-Sets '?2\=LeBh o"~nGkTܚ+MzސL&%(ZՁmyB[Y&˞m0%IL ŠG#7짚'p%/fT!MFz<#b7ռ93z%-b:Q ,eoh =1<3e$_v19U!mv/ʰP@x¹,K PN[[1FұݬX{Ueb0Q|]T&MA>^[Gq>6Z5%dF۴@5lV)PdAܾS?; }HbtѸvN+೵XK7YG~k9'_"Uelzlð*>HtTv;LL8뀧sUE2PCUv,yv Egbv;63Chxp:ޖSolT@](ǘMx{'ߋS6ާbpnvl[C^@U d⇞JGttjEj҄Ԛc|d~m2 aNC$B#G_4[FFiF{Iw $lBW*C{Yk% ~A$Iנ{0vq\Ĥ%JɅ@)f_u@D{"bhKpq6E\dHa+_{};1y nV.΅GC} 3 IG[,BNxuF6Ai,p Dy7c%܋\)85C5&Ki,?v웵*r'V-QzOFgUL=R>Ukz'עwت1XlU23;.F9JWo\&2j1ѶZ{*CG:X>R7'0 9t @E?W؃oCzYKP79̷;lˡݒ8m2sq`xxFNlE[Jr$soS*dQbP +#K*2g쩇(>[0ݍ/G5GdX* ! P)dQ0mMfڥFRpr|Z'H5ZUxMeE b<1| kqy^kADp- @ 59I(Lo)+nz02zb [/u?Jx!GE?vtaR/s)"15D\Yu&T"}fلͧfKpnݦ}W*{ǣQC(#q)Ćbgs[JO{vo{Cak=Ya'l֙~£뀻Ylc̆N͒{>젧zOotuS>)okH2b1>8NM]Ct]9(&MS-h_N|Np0A(9Il -ėmz7DA)ܙP'8g՘MdIZD fo]yPDo6&6a Qڇ9Q>6q)zr*Rj. !JokaZ!".+q5xfV|\Rv )ؼE\yS!0[M[m}~7?pU/,p5ejT}3`Y_[;* ,'jVKMY`w f&:)њQ`)nɢfݙry M.G\AALXMoE.B|Q@c!@3Iˑ˼FXvTkNf?x<2+\wRJh:fpbu(qxv(TvCq (!3M6yckWm{T~;09Xܨ}t~!>+D>!4!dF__.{9<`%5 <3Wu:z(Ϥ>Ze?mﺊkb=vA(]mV{>B|Df"= ]O]R>cXPMdΫw:Ǐ@hp!%;qy dgv@p>&^v?q#5yQFQ|ū |H5vsy{炟§KBc;^Ik5%DV.4*ʜ6>%~;õɻTēKvz܆8-̳̑ {X2re~Oo=@mǿՈ# w?ҮaWnT))h]}Sjqaԓg9JX`