SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info o1 |, w/ RefinementReactive:threads=2elapsed=11.629cpu=21.940gc=0.520factor=1.897zXZ 1 RefinementReactiveִF! M]ŗXf1-/6vR[O!vpa'tAl0ׂ~1agw$aU!PpO,ʀRH&=7뤒@"jg/.Uv!^I"dI_|wkE7$kәG ~j^tB')_O%z;hb>O@Ayi~`*4&Dd~ b@:^GPess/EO"CƟFNMN PjÇ'Xbz-%`PW<;WZ~9pR9xKX3SxEbA^w]t $P+ϲych$3O;# awm:qk{ʹM"ut^R>pJǝ8Z35wmxs=bp $P_!Jn n,[YGYY{GaMVQ6s4kċ;7c724x~)]E¾pZV0&(f(=zDHȸG8 GFc4ME d ",dƒq7ʙh׎4γ;fZpo@ NpƿnrڮNi\HNOt:l y7hsxuG,m6Z:e]MP{>i|?#I⹏ϴ[!5q70@'aKx;2#0Wa;{?(n[jɵJ YZgykDKw; xc9,hpoڐAg.S]̓z72tOwd8㈄R:` 27,_\ G[ nR:V OUбgYZ7zXZִF! A]ŗXi%V $*#~ ObKmmA8v:͂.R4dF?sf[t}[>R8R7gZz=ؑate݀dZ,VjTT=&Tj]gS۟ߕuO J͑9),_[d(xH0 ꩚vBx4FlNE[@ۊe no_)WbNpB MJ>"g qR ҷ 8K_3b#z \)3FSH}7TE7l}I[>?8}fъzNfj i*Y¦wpg ּSDsA&{.{JmhTCM4; 6dn,d;խo:{:W~gYZ347276447590516fee87c0f41108333baf771c2a 58f76d71ec2fefdb1733f95fd7bb36657f14af6f 5992cf726bac5c9b83ff1c417799f4b78da1750b 6989f07b16caa4f39918e88a6cfe5fb8798003c0 8b0988cde88c9984f3c8daed89d847192ded41a1 d7494d4b5dc1424c0e06f4fd206de3b84c5d84e080f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b