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 ]/  m/ FeatherweightJava:threads=2elapsed=12.242cpu=22.752gc=0.752factor=1.867zXZִF! L{]ŗXf1-/6vRZ9@{q$Szyj߫iIlCq4D_HȅC *hooa٩uTx / FeatherweightJavap33E)p[Dn%0z;wfCIymfKrli#},F>4YUK3ӫ))q.-FcVxKRTB@dΔO¸ׂ XT{"zLA438@5MsCV7 6?g&>SzM eJƏyr(4d!jYtV8ĥ𵡋.^} (uZbwuΘ,lg!~Gmxtw+sV N^B`ɉ-|t}]JK9?Y.qxnScQanWlXwgC fuWHKIz-JAWFny?D*y\,W/4Q4j XҞ>jvvz)C3g*F')f{9L(9T~t#Hv8VC:}xnsͣ_!9tqaU3};<ڞLg=Aֿ ] bp,4Nx*M{3+YIHhySpg iH>FM"ѣ?3*pAm$F_}˥b ,px,&>sNCyqT-UӔ0xlzRr: bWa }=vF*[:\LE؆GUY4z4!D]lh!6wœOChyҺ킷䄎?eq4@P fo~#}1g'Rb`u'2!5^`ex^aez(h8]Z6,U .$zC&\kd !*LEf;Li6% ~(ׇe:q{zϋX][GP nWsM'!֜zGȝnV[Qh%&!s ,2#$~V`θj;Uv`g ddfEz;؏$}֜ƚYӓ}p͋܋P^`+)cN !ctBJ2 Uo!6Xɥw#wR6"s˦Ku8A'2NfRWwsŐ urx/ۄnsuS0(v,0 :H|#j>7DH;Zg]]-DuKJx!9lnt 'hT8XE*i;e!&L*y& 7K0g(JY|hO7-("CGF! Tv^e5%")6ާ:upn7Uqo8(1d'|p}vb8%BREWIեM4)Qy W.ay'ѠuXZJ׋?(M`RSb'jcS5" ]B/;U8s-Ԉi}<|o"Vհ1AlTw*BU"py5$U&2q( tHߒ{{tr/?NإN})p%1>bY/[m0IЍ&Tw2ϚMB{ H6!ؿ|g=2 b[~w$AG/),}B'j7"یgYZ198938cbcbc4ce0043784e081f4ed6f385fc3fd9 1e9875f5e0a757bfebbcb562f5c50b5e166c192a 2fe12d51c53562d8369c4e884abc1d1fc76e9c63 567f9f3722ba555a42e70439beb4b81042d52d87 6997f9235ca3d099fe0942d18074c256eeffea71 79f51d0a15eab3b8daf33ea13a876578226efb47 8a7bdf614baadee9c2f7718c6862516e546b4b93 c35e0a99ae96f4f979865d8a9d9e12042bcc0842 f0b6e798c92be38da5d39829f18dc38183d2822f7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56