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 VV' t4\ ]/]HOLCF:threads=6elapsed=12.510cpu=41.204gc=2.792factor=3.297zXZִF! }]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{V0dQ}8HbVDZDu }90e+uxf=Y\q,(Pk>Ώ_ ce$GҘ]/3z4h ֓k;DVoUڦ>zB;^$$̰ǂrʺ)Ӈɇ9S2]k3Oi.BlbmF$+V?N5a5bޞ1Xn'xSnޑKTp5—8?i t|}Q+E&˼/TXaSQM %1Pc<ٶMwu($͔' ePN\#ԍ0.\畃D|H'2.L9)'O_IS [wQ㾪>uЏ9\FEtIJ ܁AZ0׎k8wRZ>})bWVO-V/ͧBYr%(PsX3v<95·!Gz]Hcs=qq^U 6):escds4NR9RD\Z5I4 wש-vp!mzq_%=xC$‰}`dpx?>D,$ ƀ]$-YC 0@| /"B.pI+0mvT?/*ZiQՁ||lmn]ɯYN@KVH00 `lf֯[v3ߚ%ظ[E:ETe\e=[ek`dc+[Rcu7wO m]SewDD,g?Jٹvh ٫Jasn_*fCpY=ԢLK7{lcƥF1~y48dZv%%mȿamvG$O 4N7KLiՊSۮ|PGɃIP?DUrYa&_?1$drf3eV)<'{v0/U8@L9N@oCjlPYmց[j cBl+JݱftR8ـ,mnm˂]o--` PniV7?x*]X@߹) T :Uf2^OG38e痮+(!|ޛl8M2rBlv"#=ذ;cJCg^#\?7ԧ }ԕ+늯|Xf#K !j[]]yG$EA^c]1 MHKjϓ1(B)b%[ fEf$A L׭ACp8 s%&l|3k4ÿB엲RvU :y-q#mzQzC ۋwPgYZd45a6f7fc9eb4c8fd0f9a618ff0dbd0433dcc9c8bae43dd2951a6b8e1263e49c814c4a696de4b0ad fa7786099e4357d1af728bd041479c3ee700c9933cd8fd18d1ba7d261f7fef5e35e66ef3f5290380  HOLCF