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 $9 , ?/ Locally-Nameless-Sigma:threads=2elapsed=41.411cpu=69.212gc=2.140factor=1.677zXZִF! $]ŗXf1-/6vRZBh S,Xf³@2AdXCϦ EӺ95qoJyԘ^!l8Qpݼ޸\e;>k^KIݤW]sɗ.e]WKI aM2m?A >} g,iZPSd.%Rc|ZL-3皼ICOO>)( 1`qQpp.n'\Q-%Y*O:5ؠ@_x.Pxʋſ:bM{۞ުaԮ9 5έȞrfآ}]JnzbdqS.b_[] ʼnw脇K 9 Locally-Nameless-Sigmajb3\kbl$'HWėSnZ?Cf19aE9?#"dyv/cu`̻6Qw6?h&G٤yt,f=?ӭ5Q:d~KޡRudP;۩*/T\1ՈEsdOC0^:V1+>O+l SdBC,]7a7G}N=)ssT1U > fTq6z\Tpj]i>F@7*&e=L4Yz(s"LPmO1A=#x 3,(t fWCkV'U_fa9[-:)Z)$:[p%^  Jg"S~T*uC S+=l4-Z3Q>|*DV(+Zcc~b-='AH!{}80.)!Ɖ*uk=>-QND&BafYm l{jVQ*|uD+}n`1jF]w߬ C=^l$ڴTʓț;WwܛT\ϫJm-('A}5yQh 5P# c:od0hU('uYP^\ a CjFW[Oe`1Ok.3%v[W}ZX9\#e\#y|!W0y(Վj( w bnc6]~b4xnO?ÇSWr>e6ɮq kW'wE*b&H4K;emO_OH6a&# 3%e+I<7 tB@9$8RZYxxjs"Szt@@6x#3֯?T>: =5NH]}qJB.Lx_x>f=PZDZ ss*Y{~dXC1\RExHKjwx)xl.tNztw(T/9+ IS!z0>HAS)GhAΡR |`1>"XYFyQ~IH?p>8Q+;I@E~ShrEk-T%nYWe˝*mDzTuX9x&1.IW+Fq1Jq헖̳|ϰ9]h h;y@ Z, ׵%=[iJdO ̿62Fh̸[] l+#u!4|bn$Ϭ%7Rې^T=.є֮wKp}A+U#0-Q6aPRdcpWmm! &m@ȩzMSB`h)~Rz\RKX`ȡo_+E-VM7I ;ەw9 RFrۤrnhxsZZ,Ζ?d_0q'ۮpd5CJx^ z.1ȡc d!0/$m$?yk}_bwVS%õ#-ÅTLL~ׇ%9v:]ľT?~[3OP1 OC:<_zgݿ#8)'40R(6zRIDn=4:YcN[1/Ќaru`>IcGŮܶNjdl2!}&}]b-3&s~Ӿ \HTox{7ڑ5̨7!gYZ0d2cf9b2b6b30ec2146b6b0c3c4d5950795a955f 116062ed5af003f6bd0f6bbbdc0b0142a40c2489 15b0f1a6a9ee7c3478ef48924a1abf99dc709253 41246ba23dfeceda18c10ccebfc487802a40ce1b 4b0fe00b743bde7dadd10e2606e711412999d253 9dc84cfde1c9e63199c35807058844e22d99270a afcc5bdf66581be2de1f29403f2ca4b7ad5d29c9 c1648e0349ffec6d2726d4cf1c4b41ce6ad77c4a d97e0f709cb34e0b4d775136cc9411bef1621181 e8039b0ab7af59eff291e9002ab01c722532f145735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa