SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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   l/DT }/ HOL-Proofs-Lambda:threads=6elapsed=121.858cpu=148.796gc=5.448factor=1.227zXZִF! W]ŗXf1-q恈͐7ӺV -fw0w]BjZjfʖ+hzqT?z@oj@kQmhR3D{9q|3<nbR*at'W $zbNO y %[n JN6TM$sN(.hRXNMQWk̵gJ.#6WQn!d&HL 7 ^.bډvXF|)Yq# y4JU@KB='<Z#zY}WQd:#-Q%(5޽ L$#YueXȦx7`XRj;?9HڌT{-z>4^Z祝Oƾ1eÙ<ق bݯز{gYZ7zXZִF! <"]ŗXi%6|LxP>:iLx_v,M$o &DŽba,[ҤG|(#[c>0#k*K>] ":3ޯ`izA lU$5Wn˵gI+╸Q(XʐtBˋ~4TԱӻ粒._>I})xJi -#[@IROrxF }4E}{ $b-S.TĝH;I2++93J+OB`02|ltāc Z"?tM$ %p{۞C)T\7<0i1,ǰcWk o .6 Jo%oRobgX6K0 j9ʍǛ>!@!RC NN(-qO3wۚ$^GOfCL 3ޗj#Q|jE]6-4OȶZDi˽VlL _U_{zJe]SgC׼0ng7C$\&/<?RmZߖ>'1M_CtW񕜻`YYjC!8{'&엳GJZj7p A_2Q^]lsjc v+0SJ48j_rQAuS@ZuLvB4Nq9ew6?pS_d%TSpw / HOL-Proofs-Lambda⩹@ϸtܬ~p`cr fqx%azA)\%lӟ@2bϲ@T}?7'q;n3yH3ZQw1R6?l7%0pH2LW].dAHÚ 9k*_/s\ {mD=wcN|NiBٹh(=o+ aևKy>ѯ.PŽuR G;y%GexV:%X)a*`t2%\W!~1C)6HJ2(:\:IA{z %6p:L@)<7~){bruWFj&~Gږӥ-=ձȥ9x?M6HU^b.kL9n o Tڡ ݴSE2l{ֶθ!>c\KBgu'3%0G$D>CS0nǸʆmIz2#T2jwc /f\U YlxWr[C?h~۟T3SݾoA>%/̩#9@ۻbޠsuQ27з\XPY\V:y9vrc1 8mgzPX lb>,߁R% Rnx#8L 0s^>3wC';ښO=r.pރ;vIsi>u =MTH~yK ⾞,q(eá]iM[W'F*ɮ9zKXH7autQ/A7R,}=^&%P2wH`0Џ42Bj>'άA#\:M5ץukw=`ڋ0s0`xMdRZי^~̍f#0C4}n46sE: p9?̓2(J[Z(XmsŃz;;DZf!-- T E-@O4G~1 h$jfCq u'3tljd'a TQMVԶ1VoA (եg x҄n&y/'c':JۂHm|q[VLOQ6&Hp~jAM\)ѯu2ehY aeC\8OJACO-6ٟTH6.qKi7J@*I7 @'BAB%L. TsPŰSnvZ\f_MJl='-ݘrFT$L@멵tQ&ʕ, m]l63;S‹~o, ar4hYOEK͠xO?"e7s/.6CG}F$*@eFXc.bVmK:k1٤欿HMi~FyB)) GN5B`sV|O1(2 IP< 3ƪ^JS&zjZ)oH'槃 ! { PvK^6?3t``Nj+k7޳̓Q8f6ķQfjZ؜! "2}.UB/vD;о9 k z6uɨ)l^Rock ]ɧL#֡}TV=I0jC: XV^CIy<⟝S/- -?YR|..Ym/=r# 5>c5Q=cD婟4S Oҽ4yqlA`FڅdAjZۃnqeaA_h$nWo^snc6L?Zv,VO,Nu +Q5~fb{f]MvCÆV>مסZfܯMSN5AApw* /bMjӄ#rC5>F:%䀝Jk^x*#_y\uA:b\bYU0sly?#%1)=IM,[ G.}_7ops_+x?! R /Ϭ}!>u3aǐhzfݑ\D~Bb߅ݎff4E[:^gˈ=·R--X~VdB0!%AiҮ4n+/az08٦Ç:<_%߁sQ$F?KA }V'+qj$3ά@׬|a6F-ꯡ6l7[W}Ko7 Tr2 3oXU@e@ԁsBr5So{3T+Ic̽VGV$`Blq|DH h" (b_7Q}LRV*v'%U=$Q$kGޮc8 Yy-ī-LLP. =:Axs@Kw1~Ov~n$tY0ST _l&>N_fڞdBC/t*Wh 'YyNuOKܝ/$OO:@ T)zT/ʅ1;M)' noD"Jk |sdh$8k6?'EIdLlQBvuPAC6%z'u? LkKR