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 ll+ <|\ ]/ GraphMarkingIBP:threads=2elapsed=20.523cpu=37.628gc=0.928factor=1.837zXZִF! ]ŗXf1-/6vRZ"P*nI16iT"'?Rz"=.ۺ .!j[Q9Vf GH?QAa.ع3٨ hJ xÈV qEFHo A]gd_v]T~J'$+: &YAl2s])3[jfk6}h"Q0͓_Z:t=>?@8nΛ8Ȩcu)ٻVnWX{J!iG^{#Vc.臟!p=ZzRK'M^ߚ6d+T@p\4}VEV- {+&U@ @Qۤ]fîJdٰ'vkQށ?#-0&86JE=X $6 f{, tE;W(\SuN,sZ(4 Mt1+!'͗\8{f&d.3]ڽ翵p2zYmhoM2KQY`-뼁JaH?/t@/W >9VR㔳_f |ю?dX0i'VPd#/9"&v4N%N-qY۱gYZ7zXZִF! 5]ŗXiɟoptB"5`'''?D9ڒ0z/(x{B܌QP[}UDFg6B(MmyYuGl hI/&Q%0p ZLQb!-KT[5t2WXk1/[K%{ I/^/; ,6;v>dYV/n=Q{^=?9a%#iW(VzT;YNLkJF=6}0mg˻ g I· wGe1K&~}XG?!=Z92!`,&f_hzFRZKS~g2貆p2&7“o},KgF13}B8YV@FJcB;ZB9YK$X!=qbu[df\a a%`x*`u1xcA.?xh)m9 u_k k8Df'f㎖ Wltru65dϓxM`&س"M5gs]\*"WyϙNzޓ7Ild㗖,ӎmJ1nY}Q!WjшcpGhQMcVِ+ |C5W2#JXRqK*v5:>LI;d.gE8N׎o$i5t l>T]^+C'Ϭ.)>nX$~i$爝VEH9tҨuu$%MP^/1(Wа)8בAj:.)\ejULϊˇO􏠊rj(]a-4B/T}yJ[7:Yy2 mE!+˘ [QXϫy+mB _&EF9HO̦֒G# Vf3;m[ mj6 =R޻ĈcBkΐ~Z6JR򋲠j&FNׄla(vaŵ "^^5[m+zt5e{ &[֗m& uyt'}`"|~LhLW)>&n~S޶M 8L44G<{oh:N {9T&@ddG+C^Zh'CHȹ)&ayёO #YwnhKõCW۴Kr#:MB6ǡ?$ED.CADLZ' I @Xa%|.Z״=Qvʭ[GFL޵cC glq'(4XeobKfEWfV:ߗEj@q YG=}Ѐd 8Kɳ;'bhM9P^ V柈&a锘!r.Kc inαgYZ84689ca582a10f03e0046d32becc8bd257a879149667212091580fa4c30a7b10e6591774082fff36 af6044d1ba548f70bd68d24705f8ed6fb4aba65c + GraphMarkingIBP