SQLite format 3@ .0:  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 cc D\D ] ZF-UNITY:threads=6elapsed=6.037cpu=31.824gc=1.108factor=5.277zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b/E;Kup5۽[(JG\ﺮvo03UQW\uN-GTL r+b]'ol/F(+6{=6-9~Y9/<fF,R>t:qrRݔd"IX;m\)~wzWbspۗۓօ_*6z/%D8z.vifQ˻a sz aeu ";kL{>Sj>Bs,,KPلƕ!;4d)RzB3FP@f#5\>A%X!wn:7oN Ӗ7b#?խ'۾O(bH[U qCWmieBDSuV©K-B1V魖ܪ@_)}mP! V kɻAdrv0 vt{NgXJ<#, zRQ)MP\stD 7Lb;tXO3 'BkaKaET\Up|fnj7ʏ@;s'P'\gYZ7zXZִF! he]ŗXiɟ9 i:4V;}A<<ګMP7h !b~tlEh[: 1;XU]8X.*Fo{²Qqeo<[5od* o&J~*FdqePR2R[Zܣtz5Y2wZi=a56#r= b^rU7v il;4g'5!$$Sn. Z%%sj5 $p<2 >g6.,@N/Xu &x2΂ 6SJʷ0c4Р-:.2C(YIt7RT~]+7hG>^sz/;1荵 )ʒN 3ƈ0=g+B%kCcfhyՉq|鳦9L݀HpNgQҩΝiLi;"7J]NS(1=?TW džk-婊e,@N;*.rY<ăG93JR\GNJCoyww̪/:q3-Y̤U٦4h~߰)Je键=˞z^(r>Fa'P"JY:S0W: GW%r$ј<iϡIUI\duCCK!7 zNRV;rGJ5#BaџO{I aI8qhf5Ϳ8fH>ȱgYZbe95ea86ee4d6c7a2eb27c55f0cf92762ebf860e24a38c72ee89e95ca4340bf3149b8301de12b264 0e1abd0db3029e75a99071d27e0930ba54b20b60 9dc6f41c46712fcdd64262453aa0e8c1cda35729   ZF-UNITY