SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 PP-% t\ ]% Stern_Brocot:threads=2elapsed=39.296cpu=60.448gc=4.236factor=1.547zXZִF! ]ŗXf1-q恈͐7ӺV 1̙ GMjiYEh&!9 # )YC@wwΈ9RҼ魂] 7z&Ɗrq](q%:m\vu熇@~EaNxTR)ΰlQǎ"RbG!+Y"26G]5:f[4׬_cBӕڪ{&YIiElOޥN+awg&B"nT^òY{;{F׳9Ez0׏Ӎ-~C. DgBk^L|ZG e3vKv=l\I|ȼ$<Z0C)VY. \)|N%@#],&&ڠ8Z Biv\Qa7 k+ߞr+{By$B㙮UeMO4_ٱgYZ7zXZִF! ]ŗXiɟ1˦rG1)Iuqgwr$!~Ǜ8a[ jZ]J(P`u-x>Z FR$@it6WEtd ykp,Y|Pp2a1W 7k&x;?RnK-k'UY!gYZ7zXZִF! ]ŗXi%;cǩ (66Ff cˆzhh֮kJS_娕&m8~]U> m?*Ik YΌ[ho%9{߆Ln?sr@yorkuLV-w eEOuW ʽkΟcF;_Ŀߩ2;﫠rHdN}Tujq2Q)` KҹʓN)Ku޶dVN[AXq/i-Re֤l,N_ymTM6 C3߯]/J.[/NFȾӏi?GQKcG~9NsJ}_c.#5. < 6xڴ2'9=VJԂPV>?^CcUoh*5#-YT)Vz]HUeR*<Me06ͬu$oq$ AlUԡSe !vvK~u+] ߨw4f8Cpc,˼Luˌ499VLX8uS@ PsNfTudͰzt#,\MF?cwA % knpnz!QFYj|7||8!s?g*RDh~5喬ܬE=<(~&"\޴ $Yן֤<29(] CuמEӿ©%{iiWXmk\&ғ@s+)*O=BR"zm&_ѢA2+7Ũ]&;7(k3=fqz!yhX6:'.EXd}Ϳ#M^Y1&- \ .H*J£J"1^*s1)L#~́'D%"g0:*NaD,e42!>q{eч {@8<MjheT`Ή;`ǐS#+O<>F- %WUrYK楂td]AkPu%M{|~h?,Lb`="A/<#|b+ ;_v!z^GN'↪ή['Y@()-^i9y>%MxmP[zH T01pNOϙNJ: _9t$m^ fz[