SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 KK2 4<$ ] ZF-UNITY:threads=6elapsed=5.723cpu=31.096gc=1.376factor=5.437zXZִF! -]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b lCӄp[QuϱȮ%`{P.5gشL'Pn5U@ƀ8^b [ȎLb%4U8lwLg  ;J1;!Xⲁe5,k("P)/𮙔XezbmfcQaīֹ^3;,|F@NhƥG3 L W8;S<_<%L^$nps3gn[ජ/)g<2x[7c/YL6:~^s<_:M"imyMh8AbfyȅT/2f 9oYu\U7(y婚c_ZAeUPzd4/׬*2Yt{QG1&Wc96QӃ<  Hr| s R_yp@LWWXf$I(=^!1pVFڲZo)0Bh$Ш+ƾzV(v_ vgF`<"*; #:[: JJ8',ӫMwUoM2M}@>ߤQoҖiw2Tlp}5hbb,H#DpgYZ7zXZִF! hW]ŗXiɟ9 i:4V;}A<<ګMP78A* 7*so;=E lN4>(~q(\ƯߩRptmKA/ģ*2Tpfr6XjMYG0_Y!`El򒏩?לdh)7c?oR?+&,V̈́C]z'![Nvŭ6fn6-q{Я䟰WLVLWj4(t hL%?^jBBxأs(`>2˺h4d֕-&w384K|yP`*=n ngsgYZ7zXZִF! !]ŗXi%BFAbYwrMX@:  ^̄61WJT%ē̢U.`ƭfM)e!J n`Fo3TNe/l)!G5mqpqydlìvԦYl%<`"g^XmDBʻNax[V!e~!6bGۿSTlh5ku3@<ISgI<˟cʡ2}mP۟CCGp5 3+L$%)J.G"Upepwf;R q)ء̑ wH>aXVyzn~gL!.BkljWvUO: )aۜ2 k.73évtҢDѐ?CgVoұgYZ93eaa574053b1035e0eb6e7748386ebef8cfa48b849a93819fa451203d0122b4dd3db0edd4c708a5 a5ed4ab69a4e930419fa2e5fb06625d9caf54a8b 59c81dbaad9032c696ff9f893fb1f1ea131963b7   ZF-UNITY