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 j d ] ZF-UNITY:threads=6elapsed=5.303cpu=26.104gc=0.868factor=4.927zXZִF! :]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb3&;OY";{WC=6c߼k:}SgVY2&9mU(:\5yu% HѮ8{HR&AF4,m?e{K#+:<"U"' NM2$c+d-?z7_EeT S!k Zkoiqe0 ̢5K+? t bRb݁W5M6賛Eˇ|fºɍaG1HEcynvxk~a1u`*Ж,Ed- ]L~ pzZNOWܾ<q+:KLzUwK^uV^Bݲ"% 9mt[lkiN hlgYZ7zXZִF!  ]ŗXi%;ޖkw8p|57w XOHߗCKXѬ=[?b]09̼k`=}=)\:BMV{L˘6]K]]cP6j 媞VZ'SU)AO(lS2SҢ`9Ũsc2wOJU&r gq@2|6>F"]aV>Uo9yt$h·8[S!ĵ3\<En2;?jytR{Mϲ'7b1~K\!۵ujlNg/3v:>Zފ-ԩgsKr@✋i{,!*yˑr;&biM,u>VdS`Tݐė H+TeKmyvBKi PՄ1r:N } ԅz:c65H差x |9ળ]la_y:kb:s>6 KY3A~7cڦ V5ѫ,!Oy13yF>ψCH2QOV֗E"]zJf ;W0IaJT>w.˒`6vLͷ9c@h=-C97=ă-fl\ŵZl`0dw+X;P,[;ӹʱgYZab84328ac751f52ef0b6a90c39641f3e1c04d7f440d35f92060f57be7e534389481a5efb493217ff 0162e0d539d2d195393e14353488ae79acc333b6 cca57165556e21d667b95e501cacab39b658c050   ZF-UNITY