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 p T\ ]S Show:threads=4elapsed=16.506cpu=42.624gc=1.660factor=2.587zXZִF! $]ŗXf[&QͫВO(KBCbd$%sqc^=D.IN6/@+7[=5|Կ .M5 BFf~17vﵳqt5omF}\jcOL8R ,W8pW}_gOt^Ðe>tB;fIY{ceRM4ܾSmM&ԋ'hskn,`@Z v (yzX<`VUkHd!lw %~SM %X yŇ./e>E.3'&zcDI01ۉq2%3@f`ԔSO,j*IUf#f4IJ >!q}G)]IE#莽(G7PgQY.τyS8J ݾATICXN!T Z,V6 >'M6 jP1lHC0uu%124 Nc® x#lT^ 0@Uegg?m), ^|lVJJ)my9~؆xz3]BgYZ7zXZִF! Q]ŗXiɟޅ*-qb;rvd8iPyP @=x8y\G!7[U$c$ Gh~R]MFd4:/bbVU \8l@aH bsl1%"! JE*Uu;j/G uٮ JRw{TRNK 8 &4Vf1AZ_agYZ7zXZִF! r]ŗXi%B:g $z 187ttk9*Y8rڵڛ.d'ڲi)x[;fmf8k)Ǎj^Hw%OZ>EXxJ6/.8f\WmxC/ml~|G"IF)߱N\K5NewjQTY o&T uJI3I2ȉyl9z kD*S0` HLy#&,amv7ϪRWJY㮙 C&Qm3/ '5qMQHĊA!RwoԲM)o k,ʮ%BUYhX[A }ol?wcd2D-ެ'H7[Uq.k.CYp_ؗʖW7K"p3yxDM`N^JLhD5mB_{x"x[r1o8;j{D18݋d!M Ȏ1j鈠€;\fk ۯgcVNճrхW6屧` g4!5_ x/y}>xDF8u/ CAK%iKaWrBD(V̒!=r[z ~~4K9kA}.U\KD/ Oo1ԸQ] Sbnk16IDI$"mGצ1Dq2$m[,[@#QF`ɃT_LGV6 ^?%DE5' n׎hk B/Z#Mf4 y!$zsp,BWɦy7 &f5JyXOz[ z2\h3ô1M06]F.T=js'uI:q.'-`V29n`E7[GAiIRw{1O(# )*A[JۏOUu.8onjޛ$ Fp5=ƝgYZ344e6bc9a5314972947c32312cb0f4b4bc49d39a13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 8995119552147f6d78790acd1b2d4551c1ffc2d5 df04b94b7315890cf18781724e5bd68e6840869d  Show