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 ,,Q tT ] IOA:threads=6elapsed=7.459cpu=32.572gc=1.356factor=4.377zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K vq({_}F| (+su+D+ |N$#JjKcZ:}d_MS|.z\~ǚ+/s ǫUt ȓ::@;XQl%c 次&0f ~rހ4$&0d%obx8NfHe6y)[(Ѩc0^ ʬ{8HgYZ7zXZִF! `]ŗXiɟdN'LvH۹$OdoIu:=j|z|#j<=e_uBXjHy7鵅![)3-8b8 >ʝa }hXm[H37xlaz:)7Lm0 QLwy7 m^M |Uc-Ƈy">;OT/ڰYDC~I) M.?Z7M_pҎ;`'tK<i^8)mPrjdTWe䞐OɄ[_=򈞾wɜ<0.0Wc5GjiT࿢1G w(V aa$uȜzɊh $X2 6 YFgYZ7zXZִF! &]ŗXi%>o~)$>HOJ{E8eK.ȇ1pybԚ&AUD, .i7P+Vɼ]HM{Նc8B=R݃bDW$i.KΈj v'tǟIYDP>BTCWvD/o 2(Wf0If1*NC ]>Z3'|G @7Kqu}'pG~}fF)ՠ"npgKhr 87@Shk0@\_o?M%U]*0OC 4hYD>^1BYtbrNAk:|T" dIXKL ̸!9]E#R1ڶ%꩞,3E5#=JF2ʧR Ln[#BWw_Fxi6aq5CD@$ Aܖzl<׋Ɩ 2Ƥuàdmnm\'&CD1ihyd| (y)LDdS#(g+ :fB0D C ?ފ$? noƆ3NS"q á?m?"~^hq8%Me##&n2ugʋ_ЭU<]f"#ƕ^s5Z]Q!b0,&;HnjI0?۷[h mN_S+`>NUD1;pM$-ϵo$6 elH7J6UE/ϠL3j3w~E~&[X{m ;9"#RTmj3@q,5"كWvBv= avΎ@gnQqcS TLM+#gYZb4725e77ea187e1ec31e691183492ba3bf3491f6b4f0352ef26758d0b807242b0832bb09719f7d40 32f5edeff731c7afb4d63e2d21f4fc6ef1b3c6de 7b6f84bcec5b9a3bb67348642791b5005293d469  IOA