SQLite format 3@ . BBh77otableisabelle_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 @@5/Vbpx`>2Ԕ]V D`^uc@Kji-s]xp[' gM+(7y7YfSX.#rϥ_^l 0,YO=DN`m.}p/J}gD9'q3~,߳mB/5_ws[Ɋ br:58qbZDlr,iy TCc,Ne34gꗷ Zx1zF8NOK^a:Y44Z-Zm+JR:nrlؒAiPslMW)[n1wXm7w@' .J%D_vYDM) :s8lGٽI$s:}`H'k\nƓѳa7 nܭh?D(㿆gk g= Ziugl8-0ogLJ!1^ۦUhNfRrc*fKC*gYZ7zXZִF! ⇈]ŗXi%9,xh$-c!QDJq9lFgax]7%KIHUUMT;bRնeMtzY^lʈK7؀ q<<[oV J/7~h ? ÕY{ S&c Z g}Hh S}A-%P:YͶ l)tZo2ޤJʢfXC$^b !xz;7u=>043& Rwyݪp)1zjO#ĕ,sWbيڌr.H~W[ f_ FYi4b1vRsh럖tĞq,bfwg,Αn+DbͻMt0f+iwi*:n6)+r9 B :3C _hn~@S! H&86NMv}D)+oRK-=RY _ vvN'X&ҏ&zJ,g1~5g3ZL>UxJ J]YEyUv.۠S?#nO4iLJJjcOMmrC扔6|5UcP@b7\az0n8xHoyMXmƒF6 b2 ["͇ 42r|&TN|!:WqŎ4"?ERH 4 5U¿ !k\Hc"U}PP.1M4 C_U=Jnc$Sv-8wt=g^͉V; X@ʊV h|)5I NSΡ .EX@`ŝB8,'f~  A5FǬC at+6%-{E"[a|;ZF J[ |drY>5ܫ1J/_y_8K1пߛuu-,L_h".^! / HOL-Proofs-Lambdaݵ04,)y%кD}U4j&`ƿKrjJ`"j ]Lx hzѭ4G|h/}&VdznV´ErQ"wT+5GmIOӑ4T4G ?v50T%t oKLɈc$'X  M }'g `{w. $[V>+wt_h>7YAN.CoSoSl)-@zq` %tAHx!#n$[د,:A.qiAVC$4(eID65"9_5IC(,J""f;yy]OG8-@̯s) :8}G/aK^^v?ݓB'{Dxd%f.x)M|R6HP}57;D[LȜxO&Ua<3;u/M Dk##lQSG?_@ SZoP]'Q+~ry@n8IbNPő=,6tnBaU|gĢ3-BEj|~R|~m񁻼kZK 1u[bjN;m֩M̟Y0ZlOc⎈sLB!!i:_*bshg"\\ѽAߐaf7Nst\47ƒGW"V[vB .1Bh dM.ӉSH+?'6/[<(>jq*>YC)n?XZ%.a:jf䅢=n@[¼?VnmmMT@}$n)c_|$-pqGh@e{l$SBvemS(߬PK=ӧ QPbA܇hmտt\N9o㟳Mt9wY E&kZʊI:Ŷ%g̀+n..ePr΅S!M9mLJv) Iѹvfmۀ)N=lV|sZC80[e0aR 9d 9q& o FUeYYǗU%בynL _˟ 9\<`6!z~E iq lUna :VN(HK<4`ajs 1Ngxǟ _K6y_oEC@~qdF|1bsˍ4f'n*!2B"RS!QC2~pĤa:|Β#<0.6]zJzbS s@ûǏ1zߣyIQmlyƳtcB䶂'& S:qc؄WR4=iU(dTi2lud9pc4ˀ/A*06a{ҵ^4leuPFސLmZ LL]zP~,x9L=̃8p\ VwN)4 }T<֯!jpx>,Z'SccݘYaLg|]nNV׭rĪRvpP  !j2軏`h&ђm :Nk;Ku ݿnVbFfwla<΀S/ iV/PС쀋D) +JC;GO3 s!Mifs ڎ2_t:cΩi9 DQP3X%Ax!&Ma%1Sh%UX+m-V ^ oGM:R?Lɻ$ Jv٪RߵH><ǦkNi'CRR*օk;z*d6SKT8 c Inʝ{#Qg6EmV=N7_7"x8TIeFn+M/&>5>p;N\p%-6ǀ.Y1| uQ ^X(svJbu_jt-=е"kLkƎMטp<]3t;zI8o;Yg(Q;9HiVb )g #tz<*<'^/z&eӱ+ B{b.,vfm Ȧn\O}t^/綀W>P1ljow>qFfa`-,́$) =gYZ0018efc665d99f9c981d62c8a75b124f284b5a93b3385753884b26aaa722d60ff4b4d3face84cc7b e0c07fab289044d6fb2f4a2aa6d30abfe144b789