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  $d ]]IOA:threads=2elapsed=15.768cpu=29.424gc=1.216factor=1.877zXZִF! F ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K _G~o,,z4l=<#sί>-4$ ~; } zng̈́䃻ѷXI͜8E/΁` 3Lߤ"l0NIPps@ա |?3Efldwė@'|_;e0wAhgV16T߆W+<Pӈ] +XN*ݧo8+w8aڠ:B}O0w"2~5^14~ع&oqY[?B;6඿^/O%*bhnz:N$-ji !Kz\YB}'g;NfpgiU-_?sn Z{DgRd9U=g RsWT+2Nww24<-% Po#ze+x:b hvC3R)aOi&n)5m<=gYZ7zXZִF! `k]ŗXiɟdNS8 /ڞSx4n#<\OyrJ8w(~wPAc!8<2w\T|ّ8tb_~+`_W 7I~YD8kS˘ku9|pui[?'l͸}w6k̅#B p~5M%YFɂ^ r^@}RKw SSEmńObT8Y`χͺo W,O RDԸpֈx% )gYZ7zXZִF! J]ŗXi%>"t*q8=SJMw-CD*sub[ U,6ֆЯ8z |] '+u"g6 t+%;@Y?ϫ4iDlmb?w)[p@mxm}ZV㫉Q^$DgO /9(te?=>z+THɋ5K|5#&QmFPwc;XU~@AQ_͚mRѵ7eJ:$r0-y~/Y1N.,W0[m U5^yӱun{=BEL =RU1X <-d[ -Y@ecKLɎz:`|U2`}d3cDR ӕ#űgYZ7bb93959dd8e93cc906dea9b58422ffc6e98e07d1770e7d42e284900cf7be1fa0dd3341bffb6e5a0 3748dad1f2adf6ae24eb2a2d4ccd1ef4791b4c46 bb8c845809374f16455e9b526842d0646b7b56d94e25d7d3b7371baffcaf423110ee5246be08a7fd  IOA