SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 N# L Sw Minimal_SSA:threads=2elapsed=9.398cpu=17.336gc=0.452factor=1.847zXZִF! >;]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^ǍrOR oe˒Q5tΪq= )KV#N{"&tuK|)F+f~FdK~ɣ`R5 @peosmZT)H| JKwIs(:61؋A!bdN e.ȟXL:w8ع൘axV .[Y~l\]i[vmv HCYQLnH9S)n3gYZ7zXZִF! 8>]ŗXi%S5:Q5ԽJET ^jh`ڿj/NK]tFUb Uic/;D MCM8x1#cw$ 0u[c=]%Pc˹})IC0*c \A)GF!E@EoPͮm"(Tp? F@ ο4eXQ]LgUNE%=UQ~ [$ T*zXL3nLua)'4+^CQ{i8VDGl)'?irUI̴`zZf^8} ߽ihU)K /o=n휍W͆`]Nn o+?x=J$R OFk7'}8WBuFl@PchmJQHe!2C`b^eښ%q+h6<PvnDwkdY^5Q5F>w0}RA=|U^0;e^5 Kc#$)fXT1-xd{m+V@ٚS`gš0ĥ4QݶYt^l2vг9܏A{sq&db$WCN4,H`~;"_2Y 5"͸af=2\[5jIa4ZÍL!X[׻eMĽ9 i|3 G=%b1XO{g2OB_A p|P]gYZ71a7fce19a7969a3ae045d5581d29bf46b3a4662 724b25b25f85031217c1ebf4946fa63091f7a44a a1208b8e2fca3865bb7ee8052106beead86e65dc bdc9ce00e49076cf860d0c4a37b3ab7e4f741374735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 0abbe80c121b6ab4d9a0c937818b06bb49262881 d5f503a44f473f9bc3929f49497764f02b2188fd 13672a548c286f04a716bd29e88de5b8c4d44ed5 717fabd8562eb8a24f09a6fc9dfe504799d40c0a # Minimal_SSA