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 J o!)c~˃cIbەXlTX)pD7ZgχvuUDcNXBjHzt0_"/-1ԿuWݳtqHdCNVNf .'(DWvm8 (OD8Ms&_ 47T y6q/7Dᵔ>^.pV,iKVޒThWe#@TS9Is1 _`P.խ wekآ)p?mM8֏k2z:Xk2C;[ߙc/F ܜ_k"}ŞQ羿6LKًT; +nK_\a/3W Mq/)*>ݫ9[G4^J ':CZv}@:^Gw؇ãfQBiK8_yeU35b=Á+<@-Ŭt @ IWQ2Gm%L˘mĂO+:6g)ܧm1Z<_J<./}3#4C.W(w1h5棤F,Ps1I;$ ,Z)fC759jo21^*Xvw&&$W 3S{ݿ#wPOuTMSuJ ޿ ANgd؜QdKmӡY zh#ǒ;%̎^3/Oeڽw6~ #F\_A ב68b5B"zRKL[KuŽ v'ʁlIDyԁ]n2%;U`|G'{NGsI4 \wTN^FhB̽jYoiil3N.Pn3@-f(LgANywNnnPբ~|#p=|#7Y5:5$ m%z#F yyڳ x`%iX210X1`E["[ _~6C-=$f/ :޼}5QF08xxqqIr !f֢Ʃqo<tIlJpC$U*ЪD3b*uOAg-ڄPvbfrf' ȓo ͢,ib,)0pa4(>nE00_W@}C9 q#ʎD0>ZOM(*1P%7r <~gYZ7zXZִF! K<]ŗXi% W]8gfםa aһfB'蔨>KKD@X /Bo#PiV$fb=_!5+^QvsVB 0; p[Dqƹq(N`$o.$,ݸ\$o)W~eSdcd }ngTPf$NiGT6ՕVw74 \q>z45ɺϋz(A-0R䄰נ_:? ̜N.A&1VcɊ bc_r8gW? 5V-S${?Oz oKnxǥ2?z]z[KِhԐ*ur 9՚^x|OWltNdl7 rLu. 'n懲Õ+ЙkjvXZ:bFjTkcN2̓c0C ]P>򈝶Dh10 qM"'\TcPF 7ĝt`xZ|l$Zq2^8qd{ OK(ǓUY5 .xE)gkB ];h.L4%bPjKZc\EqLa/q