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 ? |l\ ] Program-Conflict-Analysis:threads=4elapsed=15.462cpu=55.976gc=1.824factor=3.627zXZִF! !!v]ŗXf[&Yi]}fK'=r;rIF[=ÂK\gX4Kaȱ, su0ۂ#~K,$2Ʃuꍧ ҝЬ t-+oSDFT$o]6[syP8hﳩe}_&=7[\ TP˚v:\XtNA ɤް^d3 TO히9R",1W:fO':Lp$ľ&i+A@=hUL2 5WjJ tv +V!cŶY86f}pQ߭h@蘕}xG?+X!ƒ48Qr6y>_~U=Qd@NY$|?QinP6[NZLf!XSHRIT&4yc RC0QԗʹciFhH Syi8[ }mZwyi>{o[/n50ϒ 5u !g)hw iɕZK}]L'_r Od$B7gYZ7zXZִF! .]ŗXiɟ˕A;[] VmTi{RM9%: QB-ܗwA4VElkl{XtXϓzXj i=*$DrG0[Q:G{Xa6om!aԑt)B-^K\ò%>/wH9ݗ(s? %/P6[=v=˿f*ϫq ~&i `FL .S]qkJ/$/2 &*9(O$:;nd2k8 sڱgYZ7zXZִF! u9]ŗXi%B:g @x7Oi(rяŷ%A ʌ>u[H4=;IҤe~OI'iy{@Nt?%1dZBv?IrTܠr?=|/҄Z :>O<:Z07Oyh\;X;j{V9Rog^(6-ΘzNj|0ٖASlҸ0UHܵOAEUqιkYvFfseWfBk3 dT͜A)G e3ưA}AhWpN13H[;י8=o+<0nnrF/ Ϥ++>ST];ߺ<{/=I̷YOVZݣŌoffv՜.TI8dW+m.kQc JP l(J ~ӯUJٲ$// w 0idJiHS X"1'D/.4%PܩJpx9t6tǺ){nM6꽾DqF_A1]&UIK̎|+5Mݡr#}K pǠ. "?={SQ<j cQ"WLfw)gF:Z$lz;dM{C f1BcU&#Ӝ1G%ve#~WT(JC`iK_m4szJib@ Iq7kj?Z{3.˱ؽYKJlq2m$<ǟ1*r*r-Ԇ\XJF1~LmʸeeEm