SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ,,Q D ] IOA:threads=6elapsed=7.527cpu=33.020gc=1.384factor=4.397zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K kg(^Ho\*)D[Z}1e' @ơ#+7<CTi&%xNLvGcͰwF|Q`û3*,( RA#!V F+saNhÔr$6R4Wc}S˴R<* J?Q$6&.32 N?2܅jO#3ܣty׳e)w% 2aWhl ̑<OЯJ'_9NiOI! 1js2Nq~mEW1jE۰[bl K̉͟rY)'|D7L9['FSՉ`ÌBo`+,pa)gI@񃮓맵@uC;wd &v3&=SVgYZ7zXZִF! `z]ŗXiɟdN'LvH۹$?vYewm| u`|#P?:vlzTQ3x-^mK{{Pk:o=-`_ Zx/(Lh"uvތMګyTm:'aF91Z*WoS_J$Tk|CdJɸr$va+9*mWLqLv#if24zu ꟼɅ-*!uYjԧ9d+LfݬΊrsxB>x? ;mxoO>ܪ{;|L;)S@ nٹsi t=>eZZ#uG[l֧^k ,gYZ7zXZִF! &]ŗXi%>d@~6X߃[SB|GITFDWx⧡K i?GGCfEA:K=:T5;u[}Yq/XDR#Tlw%ȧ3Q,cs%XjH7}# _7~U2w5/(U|4*$یBuXl2S-.0ˣi&SJ'"#^5ݚN UNپ<} oJ~˹np흘=8VJf (^|; tXЂ¯85Xc%S:[PӐ4yo֙ g@xYʓ*vfdMU *MM­OgYZc82564437107996b96a1ae97a9204f5e29ebb8fca681f6653dbc3911110a79ad31633f9a1fcd6a75 adcca596685e64fd6307a9b86c351895878559b6 ce7f3ab6ca453359f3b72edcec5dbad49bbbe913  IOA