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 } t|D ] IOA:threads=6elapsed=7.072cpu=31.696gc=1.472factor=4.487zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K C gޟ 㞳Hj0gkZCQJ_ !/\T0VijΘc^7%;d2N`So3q}߇Ԑh"Ut>+I&xoȼ-Xx1Le.D]jhOѓEy pXT6sǷȬ 9F`;MX,ZFc*!aӉN2yO࿂<*{.:?=K?Ǔ)^ĵd} Eg.hy .gY [$Q %MgYZ7zXZִF! `v]ŗXiɟdN'LvH۹C<" !LZōZ Gռ#ƣg{[r %F}$@i_DkM#枳`U9f%W%|!wS vj(g\Zc?~rw A |8ՃGB9eEwɗfBqˈ yp=1YQA<~vQEC0++(CMnwU]i|Z1' {@)N/? Tõa"266PM@(PвF,@]QXs>he 2#DKˊz,`\f Eth'@:v_8lBM!Idvuc--2 Y y.Gy zRiJV#;-χ8Ή@B-46uO( mLh F[Dtuy#d4esz:=sٝ0rTv1; (* X8Lm%5!\ikqFHXDMj\Id̒ζ L| `* TEm_Zyn=6bx4uW>=( ɛ5y`l=k;My<'xxe; 㳲E$#"muNG M)5w 0Êi ^q=vu5}|jXc݋?,AO\>g} t؝z:KdIwcyBؿ.~?^3+ hExU>NMf:E>SgD貅-[DSoY> B3"Ke? Yf)A{%h<`z=v!}zXg| *q_-4""#WG %3: _dF7?Tx2]A`yf/".V["; ֐ONeV jgMLA/priJc()ֽ+]n.q?&ᢜGnpѰ Xxg+!ڟbIH@ۚKTpƅ-] °sݢI䨲"FY?"޼S6(gYZ9bd5fef4a3b5ad6e6f8f2c968f605b67c8a1da56ae1b5b2dbbc392659df742a008f6c67116d9ebfd 3e2f53debea7c11b89b654421975bbc5018e38b4 1c22c71fa4ffd6e06db1a9327aadf5784d683805  IOA