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 /#|< ]/ PseudoHoops:threads=4elapsed=114.117cpu=167.624gc=5.928factor=1.477zXZִF! a95]ŗXf[&qj7.kA^0QZD8-iF x#ݰjOF:uxW@0,ߎ/K &)c`\mzË1o8:pO<}c۩\jɺmuʦVݎ{jb$$yj;ߋ$?%tցqL5Yn}u'=_U[h 8f"nDNi~>[ifC#̛qYHen]Ym2uA02fɂLHuboܟFSNAl>K FS|b( '!cH)o dYr|  # PseudoHoops   Gk<سDp}[+3ʰ95$u-pEs+.V*BE%/ SA*x@x5!KSKѕo W^}KWκm#8vZuA := w(W| ԣW tUb~0gb&]Rr!O+}3I ~V2?M jٽxAos9wEh&,k5ѥKRyɔϐ#[9D B./xuSb1 z4,ѿE#i()  \~#k,$KMl}_H%3Ҭ=dR c d.5;ӱGOOU+uhw¸ ҷvrԖzkx8{葴=乀2DI] lCZ;v+;7"ΘwpfQ/k02w5 a1Z/@Dw&3uRl->G,Sd'tpK ],D JIitݯ^P.s2c Ѯ?>=0* .+~ _UgW҆(%2$jBz𰽠[å 'Rp"!A[P9QHXJ'nEn_A=ơ]{w34kSJKI#'eV qz -xJ_i `U6ټvn7W˫3Mߏ;keS'Vc&`:/~~gjV 7jɽް8n0 2^s} M -57+=(|q'9 2x:8u;% 2g_!"ʮR<]iIxYJekO"ђEQ (ǩ/'RU+]5VK-/d,ƥ $ }:хRkA؅x}7 , cs*^tnT(XndCa(n8W$I.D4]yl{rPgrz^W]i@1.O3ٚP$u|)1P.]wԄ E:yIY0a[ٍRg8h& ^=D鍍WD tRv֐T~U}_m[^в[\Ǧ~/Evf0gE|M>@VMpzGꪛҕZ@1&iO`瞧^(׳W4hF<ݛ2~wwh1OB>6*_vcZ&x8OO(&D?uORyd'Zn91x8 be=aN @*\Bײ&bJ'|dB#ۆ ;져Imv-KdԘ!,7.f|s2kp`g1xzX-Fp nDŽ(< N2~67jFhz33$zU$M1Em|6؛:y'8\Fӯ:1~xpnO5GP<~R bT舀{Hg2ꆃogN<Uz~e1S8.)D#}}m|1ݻuB @)!<g)a%a/=UCVR*y.@F~Z!AwxzY٩I"TU$,ia NKX%,͇|;rG L!mmQ9 [%m_ /q,OL!Hq:F$J AXP%5e<ZBq:mdMRn%W2TM2F1N0jh#-B E=O~< N •_dvH!s|nm~JJcѭ\ y F;TŞx敦Ie=2m ]bNOzT`R-z!Ye-?za :zr) WpOFGpKP'M")f-; 4IxrR&Սu6jd*Q^T+1"5>Q0 /2p]Oa>况96s_GY'7” :GȓI[fއi\~[_Q*ѽmzu}XzTq_0 K]w:[\P& 4@\00PFIF9@^) P l(NB!` .}Kݝ"0x{P)z˟l\_ny/ɉm5SZ':xCq5MMgeGC%c>6ѡƒ 2I ̾OrwlAsU&ps%m`C }CNƤ`)n22H,#va2F{w[ﰕ1j4Jrj^ёxрNjy6:/_;,etb  FIXtX}#H{)N>TD)g˶pۀļ|n H  hmh5bcR+eE~ㆧtU)T '"iSZ~бe㚻̽!jkңN~0ؼkΩ w"r,I̫h N+V%|1dױgYZ6bada33af0e8c314e0493a95b9f878c7121a19c231f92072f849172c668aadca4c36428f18253840 bb6d91cc82c83410f56f890ddd921ae98427d5a5