SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 z ,l ] ZF-UNITY:threads=6elapsed=5.926cpu=30.912gc=1.452factor=5.227zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b ɞ\*ͱ~"aSz7 / R֚ʌ3 qM+t4q6Gx)Iщa̩.6P+g>3 >gYZ7zXZִF! =]ŗXi%>p?tTg"\ ƥN??1] T YLp8p{o5;ڐ\׎'io쳿Pg]-3BBoj[gcm-]R%;th4pcr5b1 +Ȏ.Oq. V3̳2B]8#4k[ܠ*-Z='e&=Om*{"D75Cm9Gu2G9FB&8^@ֳ]zY]C;;R-h3VR%BJ^E,2 Fl49:vD('!Wr{htRjsx$y>_G/=1B$(&ZsRˁ@&O[]lfu=?3B{P'/#ʗ]BAkLf:JFڱgYZ1ecf4d3252f1c74b68c64727f685c92546174acf4f89cd12fc22a65e55bef97b3448b7e615a544da 7b22607682f70f735dabdb4ee72fc1bbcc83a263 22faac4a36544e96b6b001b882d6c446a817c623   ZF-UNITY