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 Q ,4 E ZF-UNITY:threads=6elapsed=4.914cpu=24.464gc=0.820factor=4.987zXZִF! ^']ŗXf1-WHIk0p䋎dh֨/+aHe x M_`7bjd|@z6\lr$ L 6nI472|S2PX.m7v{L|QT``RyZTOu ;|;,1W‹ima.F׾q+TM,g}]{EZ q`sRJ7Ma\4EE10't Jd8Kuwܾ['7kGb!ڶL|7!ke96ӢL_E   ZF-UNITYBuނVore7TBwI>=bDzWIrl VLkyjxVSg⫤ktO_ .ĸx3A(}`d:MɈl{=bzr D޳*+[ MtY}Dh#mO6pľn@=-lA<;Dj|e!!{:پ󧳳Y|6Ώ9\=Oϼs. F9Fҝ5[saOi,C8 Ai.LvBMvvn &4S\h'.Ts*FIPX!|h'Z`Y9hӠ^܇/R9[B}*fZ4{PQOg>Y=!|tE@ofɵn1!mK9'Q @-f %SC_?Sb{J y+Lȵ)1)ɝ,0h'Pb|ף@T! q)0D-Ejl.jU"DR(=(7BnT;œ︻-D嫚#[{N1̶Ȫ2 q&Xh:T~< S8 ~mh6s7&@&8W3 w_쓢ovb(4`9;v\l&c>I& @H(g9n2.<,1mAt/|En\t(˭冽LɩnDžvhT\䭇*\_ 1,uƸ^vP.E/ʦ ?DՓ: _bNkJ&4!,(@Z (8Еi;ͦvD|B/ڔuXt^';Hl(X;H\f<1?mӏѡPZ\黼#&XUɷ551{ =+IfRK/n"Q7-E(\{`1<ςm/\{c m`k]A-+zo OWi|@䨙:K#^~HyeyΙ1 /t5ga@~"JVӴ*l vSg!|лcف۱2xַ8qȚjQ 䋀|aZg+C%ByмP L Le34JvcWE9*z'0/w,dz!+e殅$%9}$XL}Zv4@P[Jk)u%>ĂNAC2c'`^0}^a[Kc~FsxZ Ǧ$#\=S va