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  $< ] ZF-UNITY:threads=2elapsed=15.477cpu=28.320gc=1.024factor=1.837zXZִF! bK]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄĆЏb qPb+ފSDŽ_K><[xaqS.<lLƩ|ה톶ruXlHSSCEžmCHhw1^ :FrO:Qx?! 02zHo^zb6UѢ8%=a<+6nz2pS9A*sDv! _ 6.<Xn%C[`]e9ayyspCmZ%Fߦ_Kvq/G/dF"IҶy@ĀHs[x߾*?)  L=SK%̰7V5s6xMՈSE ꏪǎ bDH>,~ξ:{uZ'(U|b}`fn ̀СAޠ(W#a a#YɎK/f<pE"W| \4.J1t^0oy\UB=ݠ7%ir]~~Hw>/=˭( sNN׮WKۚ<'I VQ=@:Z#HZ0-q}3%2J`Zc$EY&+39E*=G$ pZn h!t)'NSn5PsM_ 0VlK q0W1 [RYڛ8*M3Q)j߇WY~4]DZdM2 ~cfw6mܼ OaĬ8wW 2 <UFUdh_Ijl6+dH kSұJؽG6++q5A;! D㧴amg&`"/|2kVxt /|t[Szq˞ܚTZm'"bBD=eJQtɺe?dOmcH LxmpŹ&jw/=c|c`mS\m[EGb뢔Vl4ϳ 8@q(tkuW@SbpMom_j?p 3:NgKn5.|˂iVtZlV5*J=Bd[nQ}\ps6nwpy p ?}ңnԤ1 ꮥ;xTÙdXcV:F;/ ûZnhj/ql&'c6[|%`|mD I[m'z1n}-/;9>+OQdC^fG7k>C=  rBXusy V da]":S%Rf,Od@m^eQz )3e֟tLo C!!]yJEł9W SĻC~}nd_ՙ\.'2-ɦx|K(?6RnP]L%"h`:|zGCQ XwMNc;2 =gYZc6e57c92d0a16922718b7494a7527f8ea122cc826f2ea6ab0b5842682397ebbb65f675c6588578c2 915c18da4627e5cbbd551a676cee91f990f935cd 93c20d8335cb9c16547396369d5d6242fc7bd59a   ZF-UNITY