SQLite format 3@ .0:  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 2# ,\ ] Shivers-CFA:threads=4elapsed=22.342cpu=67.536gc=2.964factor=3.027zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Xj̆{;s G}<|[ʎ +^`ywY '2YBG|6l%-6SK\ߤ1΍ҍUZbo kr[N o5"i掖)t ˨!??ZqL@'0-^C +3٨55Z‡U,s W { MfDR؞&8mj1KveLݭ_wOrhJEH6C,J6J)b_ȱ՘v#hj~{N(8h\8!P ;7vn!653 {өР]Nv/FfQ FPVt tA 4 ; ,UCIZ!ULL(k\Wh9WssU]kj$Ǝq~5@OP~Q[}b`Qlw5nourgT2'wYe=,IY^Oo)`5лSi2:*,C]<ՠ[ .rN1o)dWݠH΃^:W'(OJW pjFr"^r#Ol~YʝBh\8u#l'a_ictV,*ODZgYZ7zXZִF! QN]ŗXiɟ1˦rnzx <@0+gM]qhA[QP;a>Y27>wj娉1m=/St[qf@_ja=ݛ,~s9P%"[s?g&Hb{ucK7ڧ4W~CJu0"OSd`g ׷ M$e`ͧ]0@XXv5a!u,F%.iHmb 몼{'rD~nf_JY"d/ȅ_5?i5yM>0h CP :斒 nARߧ1+P{q[/0ĴU>tOR#?brU.q55XN2n#zb ~CҚ| [CL!#BA= 9>({_ )O:Gmmg|DK[{ю)6ru/9fS0εQj;6xR{qp%UHmwh?S)Z""w*WwRܒ,'1>J1\|h'x+1F5L@p,gT)Ew3PaR'n4G8[1w#sVy]g q5ϓ%?uEZFЁZ"E}'c8ceoƥfYƅF%@P4Lpݽ{=^&^ZRS# RPIP];I}o;z3 CZ *k5scJHwsӢB"Ydsv$mRN$?niUJΘ%TTñgYZ9320769dc358db67683043d4e9b7ce529fd255b61795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 5609419a7a5ca1171bd31e39ffab9a2979ddcf68 # Shivers-CFA