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  9 d4 ]/ Locally-Nameless-Sigma:threads=4elapsed=23.491cpu=81.288gc=1.832factor=3.467zXZִF! %]ŗXf[&!вIkʬ:zSzrƘB:~!o}Jwhvcm$~.cՐ 6Yk;Wc w%iLԁ;']S~QZ86V2,)nlnь \Aj؛Q7U{LzhbZ8w CRne&lW>'mS =aod~D"fY7}6)u2Ye/,a䖡_`@1МU%RqZd IzkxݜQP.2}O%Qv, 2f\^ KmpwIԭ W3  1攳q}k1֥,eD7Ц&OɎx)RsQ+Lm 6KϻnѩwS!U~~U9JblgYZ7zXZִF! ]ŗXiɟ11bu)\pJoHmX=*TrjBvs+La;Ͻ5E#ZeEɪBVp-U~$}AoNfFmFƧ&x19+N6{\Inh6bɇmN462f!_7cHC%[clގ}>g_ &s7d=N LuD vyj)dRݎC,CߕpGgYZ7zXZִF! I Q]ŗXi%B8]vxs; suW*]XI-Y8hLB8{c]8)ZHB!wR:WKf XhGɤoS ?tDrt?m!iS͏q`ol5U,4Hn)H\[CB먂g hW~Txy:;v1IH{e<'YNmsgTyٹKwlqz,\_L\UqX%dOŜ[ F>ػ:R޷qQt;߯xFt*#}fȍgY}S 㟲go%jĽщ?QEf$9H*vC5hm06grx/G;'+P,8:&pqAB]%P0*3G 0HwL0PjYM -b6xۂRwu+8Ir؅&rQ -B#[F U\%LqM_A!]@{N%sQFL * OlUWw86ܬOrl6"]E "C!! >mVT5Ls5a h,*c4Z*uo:Ez4 u;S# qB ym{$5$j+.Ooߺ!^8yWҡpAݍ%KT<@y#;Y1l@Hm1V T@m 6K2>%oL&Aݬ(Fuk1ZZ5XvPUL\m@W3/apjKw~&!@V/Af<1 _iJ߶͑GϽi?5BQ \kSW rm+Ĩ+9DI2xc| $k?-۾lG9ao2m~12t"8z≠炀3fC d 4]f5fK*>6R A)!1SΎAaՖV 8xIXrKihçqp_^Ss>Qڞ+ y}S+u AKH=Z[(,ƽ;ϜړKGY@&">?J\1_$! #J ՀheMu `j::Zd&e-:jE%ARzf R;)bg:؝ 6w)OI~R3H46-qwX ; i}eK&Nuӡ֚'oJoWK~Ƙo Smzf܈`$tsKiv_젊6_CLՏd m EĤr3硟+<~nwxǀlgeYSoM)CXht ͌jgD+%+ $}S_ jಘ3"{'9Qo>!^1#7L3q ӈ:լdKD.Ӣ]ph"MO!1)m7D^iupc9^KtcԁՈQ=@oAc+LX%xlEcWMX0+pD7B? F t/wowQ{|mɨB̀SLg 1ke/osm4QmEyGn;is$m3`&Am TjDruwb!6r]n񃶎ޅ@J1F\C4C獵:§'Eo%񃄖i)c_{|tZ|x?A煙9;t<@G7Lq>Ҋ5vs_d57ٹQ|9*x!ȨՃ|ƣ}_U ^ ܃0YDȘzEX F[X\r"̖|[3 } ):}Ja7^LXdDX%ӌla_ltcWrU)ZgYZa25cb7397e02d938688588c93d5ab29043571213ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe