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 =\ w Tail_Recursive_Functions:threads=2elapsed=4.499cpu=8.588gc=0.352factor=1.917 = Tail_Recursive_FunctionszXZִF! !J]ŗXf1-/6vR[k})d4m 4o=>2VW3<g]|cw+3UPOՈZ oF=it63^IMLilTo}иLveS1X&p~ui9àtٷ7FGfJr)ՕYښl{gbWq:w@u\؅W]@W3_ `Ōptn;Ns$90Jw,t :M#_/'HzWI&.5N{1327|@ԽgÔ>y(r 22uӓٲ#y$f52$5`w ]slrR 21;8qkkdpU  QSP?C]h=Usݸsm#r2zwhי<3Ĉ=!T>HghZ9kaө;͑ȴ8:HiJd(g`WNE ݻb1ڦO=o4( mv: 2]?҅ IS{âx0MYKĉ rfn=DZCf4aWB)b>|DljFW5k#rqy { /w澽 #ArKWpgYZ482081933c65411080eeb8dce3c87e1fed9e7f2f 7284de7108cc21216686417c9c894a2419534c28 bca9497c07ee6e8063469840c42e6880fd3d4705 d82eb56a1238e5e03c7df3267c7b3855ddc4df11 ec0e142c5493a009ca2ee8a268ec69ead48e8128 efff4aee245ec79abd34cf37075c4195622280467df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 5c50fff35e48300ff10062e832c26a132060085f