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 ''V \L4 ] ZF-UNITY:threads=6elapsed=5.929cpu=31.988gc=1.188factor=5.397zXZִF! =]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb9VI`7&d p!a`=̻)8{ ,<1,]ɓW w: +7"okk߸fH`խfm2. tWk齤p|)3eܖ"^EOb4PC`'qGxEM?,Z@Yㄢ,$7ѥT'Q:!#06 Łn@c?U[Ҝ/U85y @̔UyMN\Ͻq\B+˻dTc5gt>oLxCqZG:(xv;`YwF엨3$F_\ofW3Gv,=~%Fq N  .N#<ǎ G+Y:6()?JgYZ7zXZִF! h]]ŗXiɟ9 i:4V;}A<<ګMP7g]HSd^MCU8~A7" >o^!y 'sQ CH=ȯ $&%KR^|R 4pə^=)B&X^ꢘ]5OlhFAjo=_<Ҡ`?|QՓTCUU2٤79UGR'ZXm-b$m:9WM,Ύ737Ѿ%@4C%̢gcf4!`ivw 12 X'ܹ? }/F5ii7{#XdCQhiMrЏAfb D-gYZ7zXZִF! $[]ŗXi%IexOqV:G't*,GÃi Y2y~ZDjZ y:TA/i<^t; Y~0e]pη=4qa-[C4S|}.`d- B|9JR EL6OR*'Z(a%NIvQ`ãIў~]3܀F ahD*QMFt"F L}A:]kT^ <]ZNyv-dh;J=l wf3JR 8Et nCkQh)zQ :TV_--]Y ͔=|ſ:{uAf+8D1 ӼHV\&Ȕ.V*CPz!woKhZI~hc"zyv*''Rg*[0ǼSHEDU@\I$_0BETiTeܤcWl?}$i9 X19O/>\09L()euk숛x!/Aoݱ̘8fB so,q+^n&䨝hU%JG W  qVuFl=L{y0OGZ(m`zY{;Ny1_dzu)ze.el29eյK+rr[+&DW:`}gP|l|| 0s] O`8/)P夽3ERh6>4q[%X#O* ,BHkxɣ#pНl j` Yp56@B)1s+ /%y!֎ꣀ8}zWť`rI%\5d:}H6Y#7캅߲.WzoH0VgYZ6dd5bbe7cfef2130e92ab72d3fa8353d23b6214cb8f2b33a24d2ef800fa7a056082ebbbf3977915c be90abcb4aacac71907e8126be89b2cfc2e0683a 8e975add23cd5927474f99bf26010c7c0a3aa361   ZF-UNITY