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 E  ]/]HOL-Word:threads=6elapsed=9.011cpu=44.668gc=1.908factor=4.967zXZִF! 8]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?yvZuf)&_JQ׀ G@ $uPo!cG݀3(fI>AVoh`$+M`֋NF* e T XSğE3RcyCՐٌa+wQ" GW({ߟ2-[yڔ2EUrw[ QמJ>Լ8Uw@a1r眦qO 4 +&fOsAS-B<~j Gi#Ov׳'u:~!jq6٩MGt)4 CclW'd/Lp]]+*DbiN_r2}KbE'M#+'{)tDPs;87.R{yuu!Jm6}h f+N x>zsfoY-9>5sX2nޱ1 ?PUIaJ$\ˀYơ}XQjƖ daCQN _b9fN@~O, 0n\4Kz9$&t\mZBMҷ9Y6L9=!s9K\\1޼FFIq4gv?U!i>of:]3?Nj@O $>,]xϱgYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.Ac?d3?,Z0P[Q'3~Ny2(l" @ p&A8<? H}+ma_I^H=AWqcbOi2~SD!Xs'ۘܜ@LKN,tID\h?f YH^:)+zŗ; #oݗM՘iF`=T  L5NtGGQkhv\0xX0rѯhubdtc7uޏB9WOkeH(J:Ein5tUGL7Jl֡-4ӛ>I5$FtW1-4b 6=rH G /K#PtȀ2;0Rّgؽ×[v+~{U CRY G*`g?q^oy}4:soP`3`P54Y*yn= UH