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 tt w/ RefinementReactive:threads=2elapsed=10.860cpu=21.080gc=0.464factor=1.947zXZִF! M]ŗXf1-/6vR[O!vpa'tAl0ׂs,G!`ztԓgC@_1xvwguqF&Dl|l\c8Oc*Nb:ZlT`U"W%L?W~4/=;05!^mܟl}toY|! dYgA U;nϩV0jt׬8BKHYT@3/;GV ɴuM%>cb(1kBkxԸ/R?& }{9wtAg#6Q >;)oAmPD,wNSr,2B*ђ _:C[]ӥm&߫ߔꠁOYfñ\]dvٶX6n" ʱeկ$;蟰@@uFWWꉹ +s9-s{iJw}aL)Nq;gu2\} V|=(xwpHVwŅhcX[-p.* i#Yx^[{+6cfT +j +;6m-lPxCzJ$֬$ʅ}!R6pqp".&饱OtwK0PK % 'H;\cN,zu[ L}l 1 RefinementReactiveQݐ>Mx)ћ8vsE8Wr #7pjBu܊!<H]i|$RvaoQ*sAY`4V 1fmF.!fXP:Q~͵,f}e/-tCXߊ>:Ek;蔰oz &#:M'ltT6ئQObnf;_Zp7MŚWPZ&/k m$c&P&$Ot})UK)NH`,@$g/ % ٱgYZ7zXZִF! ?V]ŗXi%B׆K&klA>pLz"R%j3P5;y)$7ó8z(aPHcȖgj=JWQGˈ@ 2ݕ+E 2X3\j~J֎NjAv)JCc6; [~4s"vJ/:|$Ro zV3>ع]4nT*tm ?cRD:hL I2!Zyy`I\KƂʘFt}z_'w/YF(n*P@ ՄR[x\T/Ly61Թa|SՃ$nƏ*~%qv3Ҹ뭃L"˿PRVcî)/uni۳-<ѸWJ.I$rhg5m9Ljj DZi`ʸlXTꄧZC[&2RNҀQKƖxXԣq))pGN` wb`aY5W+2ruQרMKȱfֆAd); XϥeexrE:JA,*d',|w)_hRg#=V:b#p:z6Yp_ Qʰ9yij`-W" RaR,z0|Qr."8Y(&9mx$!TdE iMA&*y=ynwNW7,=9qS8arFY;IOچ=J%lr-A闛U!Sg5sdO