SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 77F \4| ]/ Isar_Ref:threads=4elapsed=17.777cpu=42.964gc=1.976factor=2.427zXZִF! []ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&X^ E1G8lؔMr/[]BS2@oǂ]Id<Բ|QB3<0Q%TP€Zj~CQ,gWZVcu&wgAgYB'1TNnW b$wD `g:?,*륯E- 7GAdFu/3xy|w^)ZYׇ])=yYHo(ӘL@R3l_Eoړ™"Ҧ|H?rwHx 6*R.]UiW9AލEלy5ڍljxA8WQ|5MB i!-@j8sb \Vr@A&耧\I}Y6EFn/Gtqൕ[ƣ WY31~Tn=Lȑa4kH ~^ pu߁خ4}.xXkbo/sO0t6Vq2(Oa|q{C@qQ/. iul@@pp/~Iony\5 Ue?- ό!hg̽k/EtP‚ v=CZ$gYZ7zXZִF! G]ŗXiɟ1˦rnzx <@0+gMLZ H2~>l?7}:/ [Sr[6&HvrJ 3E\DORMNV Qx6hHA5@ǘѩx})bNs`X &˴_ql[ľ|rkmݹQ$x]_3KE4E +k&ܰ_1r߰Z=aopx} (,.@3z~$1>%9d7X`ij]U)"w,4ވee`r)`y_n>"[Oxҷ*Jn ?iշj6oЌ16҇%hW;&#J "5 l rQj;{ u+ՒNLo`ڊnyly@ϭCn7J\3\,sˮPx|7en8|Y^e! +)&`Vӣ?kqo`p ܳema؄+˷;3JiB571D%P[6(ɚSNW cB88Ѕ]-:B[K)RsYBe>]xT/0UX予3:w2Z u{S$b~xq>}QV85?y<8tDQ}y=,&|LP&R,D#x5``:tE_j2IIOفrS:9'% RΑIgYZ5b4682319bce195477aed21895a318b24f18da1ac3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a   Isar_Ref