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 XX% L ]/]HOL-Word:threads=6elapsed=8.568cpu=38.952gc=1.492factor=4.557zXZִF! S]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y98@4le,_'q-^NXwzgrVϧ&îkjc-ݸQihd!{\k.MàeMڽFSMJ_@Y8NC#20,3{ꚗ v?mwƔQVTzS-V |fg;z!rdvnQYHw9~*<;Q&#7}cBufԴݷd|uzO? U46E6П[hztӻ[wo;x9RO<91*_cepЄ<|LD 4Mxi2K#<&*?7 [kyo۩O7+?s#j5jo" BY/L5}kIubbИ.j8r}>"gYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.AQ܁4Mv ܪδ Y7%wrvs$T%o166{aJ0%2eí+^kG {]sͯE 6cT]T~RzQ3;D)߮iokP 0s2 Zj9\Ff9ׇ{~b>*9~C÷sXl ں|' ^Viޛr~347-~]oݏu`5u+n}oLY19N7 ”b=vQ$;, )ߞevBĺ9 T9=dk] e5 vI+@ҏ̇z.*:Lz \8K5jIeCx7?&l6ghkJ!}zCcMVW. Ql>Q0k`8MMHs*t瓿b)Yزߴ&R߹O=+y.obh-g^PUT4N4E NDS25ʭ֦|G5 _ǘXn.Ya0(YP˹9T% j ni?5JG"Zt_E4ʍi2Bʳ&l&tKT4-'7n*_)_ڟ4uU