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 09 < ?/ Locally-Nameless-Sigma:threads=2elapsed=40.574cpu=68.444gc=2.236factor=1.697zXZִF! !W]ŗXf1-/6vRZBh S,Xf³@2AdXCϦr v0xçm_Dgme"AQ<4H1cK,Rq=z`R:VHc"yEĻa@J3@ MHRCY?EHD:DuRs{ImB߶#76>/Xt]þnٌ϶%uDW'G_pL}obi=#3͡~ix7Y0}n.ۗKP D"}PٜPW*N7al؞'MB{8| oT 9 Locally-Nameless-SigmajuQG_l<_;暥:%P C|xǼҤ[?ﬤ.M6Sxb/-V ^rP1>\yRk./4CL@uFKLDsLjQO- 5__ v+8l;Y~3y[zwERieik5UCYr#t #I ?V~5:wQ_E\v"[ׯtKe Ub p%s,~j18u/G_o/"UvU!M e-U$Odp8VTiJ?*7j#g~;li5 }ہ̝}ShT6{#<2BRѰ$T4Z^X}vڝZhyb;V4,=u)!CΦD\uUSb~HQ >5M py# (=x{Y$[ژߑ~^,Bj5m”]Ma 6iNj?!Xz_5'ٲDms`#s %끾{U0 -0u~\4 c?(.h}oCƇfz:] "h*eY`>HLBpUVgoeT* *Crp<zBP]f* ~L[K aioV8~ϚZ2R2.EbO\M/pι@ / x̡|`c:CY$tdUcR?haVZ6ɖHgs8^00 r-hit̄Í7-)H?AU<RWTo jOo|6x)Ac}^C8r juh~<{mcB&f1<_ {VogoCeW(U 1\ w3D[//IǙw9࣪ |id$n84ݫ [ XS7V 0N}v7H,(=6́f$"AJ[dK\DO} > ɱ5*U,=heԕ,E5{e lj- κ7>RerO/dy5`j{ b0}»Ԧtm.eLPĘ#p`cV-uUhS/JcAM] ;;bnG!k~,?eU}`8kw+.c`ѫY,,2#k uHa|ESeЂ )4bKH{& gVM apߛPkp|wk2`g0O$}o܉IClƺlGf%)2*+~ao-ڷMNɨQEW)~,Z ơ1\z`z% YM؇h{ڑS-]5 UQ(uLth)4,BofOC.(KhX`uHV <8tRGf}DQCGap7^ɠd*gYZ0d2cf9b2b6b30ec2146b6b0c3c4d5950795a955f 116062ed5af003f6bd0f6bbbdc0b0142a40c2489 15b0f1a6a9ee7c3478ef48924a1abf99dc709253 41246ba23dfeceda18c10ccebfc487802a40ce1b 4b0fe00b743bde7dadd10e2606e711412999d253 5b76f7dbcf8269782891de0bc71cad28ccfdf988 9b2c3ff8e2a03d221694e61efb117ece2a2c99ea 9dc84cfde1c9e63199c35807058844e22d99270a d97e0f709cb34e0b4d775136cc9411bef1621181 e8039b0ab7af59eff291e9002ab01c722532f145f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24