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 PP- $ ]S CCS:threads=2elapsed=21.730cpu=36.952gc=0.924factor=1.707zXZִF!  ]ŗXf1-/6vRZxi}t7hSyv=4Rqg[*(*rC&H1`l>ŵ3d'H=G^O#(AN,BY`*ϣq~{?iQx`|ypR]] g-+atPzH>yoHiTCG.FՐZH%u1e4\\"ř*g"ķMdJ%A1rrK39I|8RzW|s}2CsAhy#OHZZ*=qna>я!,9Ƌc7jXfEq#ŋ . !QIqiV“saR;Ӎ-?'%{tGI9!~xPKI:C0J '.&BK;dLҬTJ)nk .=-Ewæ#|ޮuHkRNnܘ}o2֯𣎢vp7=Spa} /@Ӵ vsH@[jh%aU6U̫}dz39"u#h6ztKMQj)}끈GVxZ[T.w3YMQN, lf5de ^|$ԗ<0஡e{ىN0EŻ1CUi 8q7O5/N3|6] y~`+\4%Y~]\n+ɛ{M&(0c;RsGF.֊~jjK" ƆFVf, %&)9+/u]٫wl 2E|ѵ}?Tʘj052%9{䉦\9-`YZ~3"k&7^\PϾ9G,pAWAe LJәRP=pt[N:(g:3IA<_gP"ֻC*:g4 ɴYGS9>@ӱGDt=V"}QknLϗRJ]xiO0 Q* J*qW[zUşUR!Ңԏ=PiVۖ 6 )K=;f\VH(\M%n-y_Ʀ;ܲ3>z]t/f}@ M*)qhH bT)K) Նr@8m>,?]ZئH(p~pCq?maXKTb]I !;S\yFY䣋 N-N4[$$CKRBw_LR $ܨ~9}ˢ`cʢpw `z w1 $oκ[_Vg)` ![m߆_Lp?`>:cu5!}+nS| o 8 BtGTˀtgmRR ʡnׂTTqRrl+HfMV!v ̺JufS M"%CE7@5SȀRsiIW^] |eЫ=-i #EM,-kfȻ=R\!rP|Vfl5ټɕ>Vm79K {U ;0V@ܴiS]]Ws?-#uFFdJŭm^(!_M".XȗwPۓy|..HFm GR2L OzvVZAh~C?sgcr# yZ 0ygYZ90b043493fb252b8e556d249cf65606c46236d0ee003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031 08fab92b78f8a967c580450e53bbb48ff97639b2  CCS