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 )dt S]Codegen_Basics:threads=2elapsed=1.323cpu=1.404gc=0.000factor=1.067zXZִF ) Codegen_Basics! l]ŗXf1-`7z8%_=IIx stb+_kQ<)z8n/1]tRj1.\ Dm<ҐӱgYZ7zXZִF! s]ŗXi%irDCY0%eC\KqJMq9];0daN/`>͌uS[kQp7f$ӎ$'Wl/H鸗/-qWwR#G'OX f3·'wv 6zj.j^Nr^ڪ[;'8S v0(Fٮ*Dsw67w2:Б;YyLfXJK< @][vNL.$ǵP`d%  ɖp7;7sN7)vtHnY'L џr>T vK(*6 ÍEM)Yr]7eBzт~fgYZa3cd5014d97369a20a1827b671f61605e296463d ba26ac9fd20971c96e243600fb2c28eb3f8d8ead caacb35c29703bbfaf97def2c6a4d89fb8afad08 fd2b02dded527fdedfb330e24b0df02361aff2bbd2fbbb72014e26de66d280d7be7d08deaaabe52f 8cba64bc01798dbdb9969f6de108dfc3cacddc4c bc315400c916c04295cfa60734d24fe7f303421ba233b8f88ee5db03c12cfaecc0e0cac0fcae5a9e