SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info = L /]HOL-Nonstandard_Analysis:threads=2elapsed=14.358cpu=28.356gc=0.992factor=1.977zXZִF! _]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`SQ D%.kՊajP9{@#)AS׫[#mE <P 7H߂zO  bH½F;`(hB|¬MB0&"]5puI4])pJ>(m˘儢 NHK\38 젉N-Lj JTB]Z]V+q-w7{Q|ѳ9VށAe'_\zHE B( & UPU/Md^kA-a όW2d\K(Xea( vlVh:O%[~|یpIuPersdnJ׽<njf}~yt(wK t6>[Uo# .A7?C4 7Kclu{ˢ'8+ q^ՆVwɴG r8ťP0rVP,ZהDlѽy޿I˜a'83XzNVxZ+Fy)`X iXa[h j@~Y3Wvxٱ`sSm=G;& ς!;{J Dt/^4-QB~f"H^oCUr_5lk" |f0yk՛=n9\f+X;͢TKOP/^qEə /XGSF]b^GjbK`<,F$R'|}b1̧.۾V]jQ?;,]D}~ kBVk]fɬW`{W(q^N;g22/> \r7) J $ fG^ $@D\Y2P"@)ISz8v}Zv7=i)oݐLSovh jL ˓KY6E̸Ft+PR}]+$} rh1:зKoHI%2Al;\"XC 'ϰ M%3c/ 4hNy*5҈}Hѯ ?Y|ݼ1\QN_YRUUjv5VMLg7cPE?W&# 8uAfdF('M-XAfS#EıgYZ7zXZִF! W]ŗXi%B&jZT] +yWcy:詏#킅`fiDO3& Elys{1i‹H#1` Nћ1he9J')i/%{D<ԽկRSR䋼}qK@3ukH$Vh 8n8en5(.܋'.M--ym>R*Zzҝ=K}. WIyPٺ>U;1AܰpO&?ku5Em"|xkdC(MH_s{)IHX/'_Շ7#04S-q"ky9rX /bo޲Dlšy/ މ`s Ֆ @fb mwϷ NsLBT=Fk p[ŋN"fV'dpv m96R jjlwCnݬrͳ!YW.mƄq4E|YqfY9gh W?1@ldP d]wʋ{4<{y4=:h-;|r@;RP*"a+x f |gƬYw} 9F|pVxBXd~e=e;eVȇ:7%챕g5+mag֣s^ǃC 6vet7ީ2Lpm)(H-K5I!JOs狛U3pLhkn[!{eѕ m]xBbzyq/F)\އ- ncW--j]I^vL |:V{(ݲc9-Eo`oC&EzZy{nY~ w=7p܋/A h@H&-%f oiGÅA]1Mx9ApE9Žl렽6raf4[:: X͕_K{