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 w1 l ] HOL-Metis_Examples:threads=6elapsed=11.928cpu=52.360gc=2.872factor=4.397zXZִF! Yp]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ѥYbu[4 \$=$!DP-(ylUOYi$KnAm%WsϹ#=Vp ˔9Ȅ2fa.y ~~5 $~2JK( ̍nQTws3v݇ sc7 PpT.i|c㔖~GߓYUs*rVL!" ϧOx 75R);ny0T]L- ܇?L$O)krc_@k)\gBQC齯>@Z;_ oIms6bK7EA ixV?U˫]^!n+\~ /Ecf ޠ='){,B$ey+<ՒάNL #"¬5Fhg\K~0ՐiQ j3'U4~5WY6 G2IxCe1&#ّjBPss^k?CWqEs#mG)MՎx5oy&YۓМ}\dE,1(HJff ?}\ e_緜[Tֈ]{M#i. `I(WDoX%׈ZMS.[i;.t5/, }W{oLSDFZ1b#vNRTof zn2}\Hc9~Ke.s$!8$_^,1\d"Bԝ͹Bv%zƄVAz=cXzVX+|%\Trr M"pjUTMS~`mv+QDi#2<٢I;1aqwvIy-|nq*zo㹜(d0uaO]_5N#ZyI,Iy|bl/rI柹[nq$oP*atbcCSF|>ql;,&*548^ &|05fW;'1!y&d?ȹZ"A :dɧ/26`\.ςC*A'D)T" |ٴldCU2_{vfohNZ6pKҭ QŴ]\ TD0IcCo2]<&#lpch\da BG!,\3\ sDɞ :uDG& =ݞXou7QՑaGt3r_ư~>oO㡅۲'l "Y6_.ڏJN=a5LJXQWGʆ 춱gYZ7zXZִF! 8]ŗXi%6H Ra; Y,)5?_<|%}P)#[L{^N~U5H~ތkQ Mzs۞6&~IU=.Ԧ=w3@#5K~UO0#57ja}ϟWRP^S3h2˹;P+9jA+=J*7>Gj" !%1^H (]#G 3XH8%T1?$nhv ҒԑSi귥~\hq (9Q/U@Ql}7@`mhet}= DuݵYg"[ Q*<تu+02 ?UoQuYiܼ/PJCH*We"ޭ[;t 58blV9*={ <a%%'UnƔ