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 -! 4 #%]Launchbury:threads=2elapsed=45.706cpu=88.496gc=2.804factor=1.947zXZִF! $nS]ŗXf1-/6vRZd*^6UaNntIBu8u ӣ6)255hIt{;d *"`oɵ[CƢZDG΢,ݛmMȀ ՛-TiMA@ܤ/Z,ޑK_oYN]8\7TzD^šP;JI %ǹN(ܬB e4d9;ƷRHSġYO7ǧ6U!kSǯv=xc? .PCVh j" 6Fv+;ӱgJ^R$y`4\PBВ <{zgj$\cץ=)3%cfpV#^GN/DijL)W5H'uL RvReh[eyHO粦L gǦCvf_2 B Uv 9j݀@ΠV'P|&l۽LׯUkP+*`c;e[K/ BUY3uQO(mF2*ElknTEAo/_EkDD5tW( fXhr'ܰBdt[-T#[涿Cj(3w5"V/NoZ6$r7'pK:# >u9CPL3g+;l^cd9ͦ|%f%W2?|qe}FW\:4uzF߁UZ-yJj6eQwk]Xv <@9]$d5]bV0 qp>Eȡ@U2CwFxN4H۶/YCj`tl$2?PG}oXGbNX0kZ4aO\Yvw*ZK3syT "*HoO$cp >xJ/7Z'OM$BVz{no)^[Ex>ErMCO2EY0p3T 4e.ZÄlH]gYZ7zXZִF! ]ŗXi%6wjq,2m0яCа{/ Lh5,gT֛I/yM3Ϳ#=RUJ'V"}RO@}aT҆`|A4BOnk ]ǁ>mN{}Q( pHpdK?}URWm{Ue$5JeصWdC)r1qc|ЬyS!12'I4ժd+C̻Avc]SHku܀xQ7-u\<>sh#וz6OFbHtuY'+}`ؾ -M,?DOf/0Ђ6* Ql'Ot()ܜ@HBr7؎qPSŜլPhّKIYcuXAd-]/jiz_xCI8pO&zDb8ײ܏=]\7W𶗇)OqkBS$8sv׳h-(ύUcNQÆL;G9r&Z\b/,jCc=rq=X :~gk˙*- {lС9*N{Vߖ _hg|z@2wL]$Z0$0(;eUu(Ue밪kOb8bmtHUrxeԋoh9H'ĝa9[.4/Se{ẑs>c)%vqGaB_ȏSZ۾]憐. EK-.("*06!`S ׋&XOa#`<Ŋo@I)(ڱ1 4]џYjJaSJ+#)OkъmIMhz c4zɟ4^)z\ي ] 2,[p@߹4Z yhifW si9ȕ ӫ]U1<&kRӾ'"lJ9q[՗:v{ie&Liֳ"[PW;f4zr.?=f?Yk1/.!J66n:qg%I-̽?vt4)Aƍ5v{Yۇ8ZHDo.PBA>%˵ꍶjvKҊmظC+btX";LLȕ|JԿF(n~c~kԷ̷9փdo%[&p "2: |;3gFm3>=U}A0?8x4ޓvtxEb餥ƚpV$:L/N5O ==ZOk8qVG3 % S,Ad : 49^.ٗ )9%(ߥ1GȑZF#?IƔ"e7[$pq7#E6b@ʸp1K%ZcJ.MXQr"뺟ZQZϕn:rFDvVEY.Xh}Z