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 WW5   Lower_Semicontinuous:threads=2elapsed=7.421cpu=13.648gc=0.220factor=1.847zXZִF! \S=]ŗXf1-/6vRZ;tZ6B%UbmVҼP&D-,@xVWti,_&Wcіvc?2vRo[Ɂ?-P-9%MA9`.e2 D>\`۳hYIQ`}Jk˷y"6_]ugn%0gЄD?W=|lj \B7Š*Լ)4cVRPC *}%WOGUbq#&Z$Gq20bf %Mהzn0a$|?e҉ C, 죧֦q.ŗavneBG>41$L(@Q8> hǰ{7nƛx庺oYqǢ"}tg1=>Dn@rM?'u~%~c&y=SYhz9P8QQ}|)UJT  5 Lower_SemicontinuousyW԰0@ CӬi^re3;:,Op5jS^&Y#rOW6/2DD! t7l}Nj'8rkhքzK1x4ӅR:p! 7מSho.y uoIk$A,-3VwgZR}1-J$L8Wg/$HsqC 5޾e8<+ƒk~BVq m O7g?ueL/oQ -}ע|y3Z0yFA20؈3AkrNnQ1S#Ps=>AӇm8s'g4srnz'u/M;l 9%YqC'6:Ud;/7A3H<-POo>H(S:Oz4K2_}lwI]k{|:(q'(h\E,fiY:q=ZQgq+ MP -rWņO(,va\>cS?G uENr]Gia$6Jү[OՍ/J/~*1RH@6B0]玥fF[ Ը1DZgYZ7zXZִF! .]ŗXi%B׆]\D|o-0Oއ1F[O)e'tm'ш턃6yl͈LwEj>#{ Gfy[Ӿ|\>@mޚ=5֯_@W"82FӦ㍳f **` ]:~<G cXLÿwܠ*.wQ{iwJEZAN_%lp>3^5Agl"ݪ~y; /baciƛZHsK(s7:t#qнMRWقBY ZhK,c Ѕg HZv39F(iWmЎ0$ !}!906:WAhH70âxR^g B,7~5+')Q{_ɩi6lj2=_2 zR|J HnҹdXE%1M ޽Ӱu'ju氃.x$6>E]TH9<mT.=MUI#1C ٵ,p~c_ƹ11 6G]k*/j?t=$b1kYnJJNCt¢2h߭zZ73h$P iϑ>|TaNI9kC\EKM/0#f:]gYZ86b65e55f934fbae00684093cf22aec3241178a0 9aa9e3a389752f3cdd86615a1d5f05e80d10f79f a225c696c3e9d48f7c4f8098500d46711fb37700d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 f0ca457e6dbd65b6dd2f85c094ad1cb6a503566f