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 j# l Sw Minimal_SSA:threads=2elapsed=9.216cpu=17.648gc=0.548factor=1.917zXZִF! -]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^ǍrOR oe˒Q5x)S޿f"XXp>L)!|ȄR!UlًC*Fh'˕ٹ_Reqjh;f: ӏ%4Ί8;7Y N:lĞKo> ^ӮkmE}&9NΆ*zw"T^$)ӥ9B2 a(LNbGE#{WaZB_Eӳdi#y)^ הRS@Ţ:ff@xN<8_ddmxc%mi. 3d/jt_g/,"hlҌhiMZE6/K4[SS75FPO}L>XG[;i⮤TӰnַCWa&Nfmdfi,P wL8Y<S\s^mi  RpKad8Fe#1 ./hꎗͣ ?__ d?.CcךAuvp,0ɠLGtśF3P8PE3DUۂ÷ꐇ O w.qCfux(0X jIi]<$lvw*\ؠ3hE)t〻&̐睪-l!F΢rT8 [b.WFR;kƌ1Į26*5=l17`nGr!JIv-Q+Kaߠ8Ď_{W(ƵѦQ>m jyGZChz٬m LNo谤_#[6Kv)?n 7uyq_#Kw8]co,"' di r_w~\fKV;>hyEVs1ɶgm"uugj@6"GSg5@FTr]NP\.a`ݠh\TazI2Zph $glB51YTVI_82XoxEXڃ֌ʼ~ɩe5@ ܤ!} ^30w{R׬t-ryw5Y&87tlZ,:Awv@|bFtYFq5~X5޻L;8Reed2QM^,)-`Vɲâ5-l0ڟ!mutᐰ6N*Tnq: >goG󟴆a6[ k`!Ej&iL\92a@L-dBQY]~z;>GkDqlF"f=wߗD{lg5 i--Կ/搐*qئV5A2%itkS6uҴ%)՛.j^xia7ɽrK*0rKe R=mG_a6┧e<$ٮ ,\)[&m(]웢4dŶlh gYZ71a7fce19a7969a3ae045d5581d29bf46b3a4662 724b25b25f85031217c1ebf4946fa63091f7a44a a1208b8e2fca3865bb7ee8052106beead86e65dc bdc9ce00e49076cf860d0c4a37b3ab7e4f7413749711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 1cddd12c4120c2310ea3898d8a358d72c9b751ff d897491c3fc457ae4d3d53294109222f3c8eee76 9f99ccadfdf7f2164f003807f47ce8523843d3b4 c2ee8c5f30fb3e1a49b18a1bdb54bcb2a1ec8b74 # Minimal_SSA