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  j7a)QîSn4=| 7L|j<ψl/sZ&EpGR3jh2^{p5 OO8J5UAn\R EG7ſr aηi=TILqRFɌR,JD28aE>|3' 7 ComponentDependencies:8wkvH +*sqt95`BΊLc=FMo*t;l3 ƁYq~f9]Bqs:= R9 IsBS j z mȋU?`QRL%OBM.(SSwX-NԖ.|gɯn}P"?[No%G'^,+<[ry Z@ʔ!$1aUosTu/Oh7W.3`t0Y@y=.QsW_-g1˹u;s\{|Gß4H; 1 ykDyހ_w:jKLeZ{:/`Eu\oHIۮՠi%Z&L9/Ru28@0^i֙LьH*<(DQUV-]%0SrB%i( ENqdpWXp Ц N AVYI{Ȓ89y'bC$\W0DžӖ)yl6ϙL-{<*[ok c@eD=1x LɱD>o^QrJx/7g$)!%cRSu@@(0on$.fvbT&u"~sn~KX%L^Ԩ͟>螳bbh)SW>[&3[4O|TvObxJIfƶ"]5-Y}=ScwsPji>56( ;n:Rq1aUP9;>ttk9M1.1}.9yh8,Ro #2 ^DD'ٞ.\~h]PQ҈ᬯg eFRTA HP4/jwi̹2 | Xx*;Vv=Ј$MޥNB9DnPoXBE8 sEk·i@0CN.]-}&BHU=F^[Ita<+x.GP(# 綺ZF5:h7~U1fDN'k``8Hӕ̊Cc | 4p+OΓOH @̚|<~sL|YO0TjeҡC0=Ri~.E]Z2K T}𣟆yX1rmdvR-zgn3^tu ,C6I*X36Qݱ], GK mYʧ >/w`99\MMVXq,|<0-umB*fz|4-,) ܚxi[,=cgl)>8~8o5DPmK'O_ aRLO YپNAEŊ@ݥ#-?}U իl0}#$/?R{Wb7^C{ra`MJ(p\{eӅvA5+](]C„?G((sz SnYMx!2tr~~c%i[d~k2'=^H0$ݑwV<̃XPdJpWo|"ƍڗ\\K]чb8_ۜpJFI/ 5LD gjIwz0hD,-Gqim!N pbl^Ua7]̙??IRklp/Cb <[&Eڋ^,Pag?!h,h ҅;lUy@7nٔaŌ+PqN; ZDvXC`G4OK;&[f I816q'PFEV=_ 31GJYHTq#tդE詌{7 \56poyr<˗X*I{Bi^^ܳ'Q45B|V{'OyV8DӘu 0Ǯt >#L5dbJF$rjWq} buTjgяoT, HtHǤ*mټoLM63~a0Ah9q 8CZ#z!8S33UDd'uu@elc"7P6rn-{Tjr+M#R