SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 o \Dt ]/]HOLCF:threads=6elapsed=12.090cpu=35.212gc=1.784factor=2.917zXZִF! E]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VBa0-J 0o>F[Z#OwFb5?LxG lVr]e$ OΉZm@HiAP1jFim9̫Q_=1fVwVѻ-F{/[.Hͮ=1Vtto/stPٮHI[w޻mXq"r mPR1.QtOw=*=Ooec`^rʹ-5Jmߍ\=w+ë; |:zwg&S䠑z0ΡB{Y/ШqBUʟeO_hamt|Gc%#LOA.QGZG ] @R40%)ee["vޱK#Uz'S9AK HXGsH2eg ^LԎIjuКYvFN쌶>#Ig(J] IzTQf$FbeceLm ajgYZ7zXZִF! Y]ŗXiɟ>Ӈɇ9S2]ʊkSu8ORv73@zSW8L*#<} +neEc>RVtoIT.o I`;ү$-n0V$YUvp‘p=lOO&\|.M]=2F}+'#I۔|Vy!9K;9]lYSurڭ&9Qu~pTbɍNVhG)=++=O r0ϲl%7d Y>bc^Q|6bxQg*SFg w2^%%hvzƭ`#G߄0GT3Rg5pn8(XG-DŜ@AhY*7 ᎚ Xc| lEp@lmN /(u{oid`p!ae,jo@']IS_r'bɻ1BA%;gL5UN`_s6[MHΧLBV ECH]b[ ?ϯ=;gYZ7zXZִF! ;"3]ŗXi%94ǥ2ElŔ@!H+k6v ;|?H<eG'돑FDbz9KJI&*BOxCmuT-}e2 s6-wpQ>FgF}MŽ~^ݼCsK䃚3'I ]+g&?S/F'>߈&T[OUˠdO7KV8n bڢMG 2ֹBG LѮ2[F31ᒊX xخO)YRyiL̲xhfi+n()hK|W*U3 ,$wu&4rp[y?R 7ޛ .Jtn^6j$&w,<#PLTƿ_LcYĴv+E%;yje2/)0t[WWjr@J^a<cy桼yh+ .`}t|.vPZ|&|83~Ocb\ 4# v(+ue