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# 4D ]w Minimal_SSA:threads=4elapsed=5.792cpu=16.708gc=0.256factor=2.887zXZִF! T]ŗXf[&M_4(dWW7j}lM:OGϔ|%ݔ5rdp_?BY xNUr/(JFR(=''$B)Me2cF(᭧C # :ڶ ś-jT7xƝG-C/oy C{|8M5[ Ӫ(n@\#&}sKEJ*C<{0TO*24}<.Yq2)Mm# Њ|s)F溋]PWŝEE^t|tr~]׊/qKM-sFY:X|;ct& s-{WkDNzy߹?I;Z@hRSWX*b5zn'uHKFX1!CiKd<ѨJӅǹz(T]g S jKaH$6 Y )K_lv$ldy|gܽ*cInR kgfWY Fo+QF}ڝ:_-c Mק@wÞ, L ;Y8yRno' ė!i5#d[^{`S8-G74YPvIbwt6)9w(WQBuη?ߙ +ҁ9DfZ^5t?@HZIi;Y o+a!cS)B p.lVH뭐kΪQKWK 5CR@/Gv9:p0WERb(/;i\[i3K: ñ[7o5|Yx^9/}TQ?l@HuCEicSL$XBH㪉o+x<,>espOG `= \*R]jS q}mϤEG%Ʌx{;N =BAWjYgA "厺 J#hFtcJ\F(ETmh)m.}Q^8<,3R6T!rmgVG`3lϢ|ERև/_[ ϵWGh f"/l\ʔ m"5IN8В\7s=[`e.~_<^cXw,C6?ob萱gYZc225d0703f4ac6f0e33e31a799000de37d61f49376b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 2f484737f9e309b1dda4db1db62345fe202c4f91 14de8d5ef97011d1aab90fe1ee9e6a72e94b032d 20ce141ce56eee59065d2403cf726ecb8d9be303 7bc7930b5c22219d586d44d59258398c0c2f7f74 # Minimal_SSA