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  - ,ll ]/ ZF-Constructible:threads=4elapsed=8.252cpu=28.732gc=2.360factor=3.487zXZִF! $]ŗXf1-W5"~ H:Fi{3g]US۶/QlWKQŌDo75z!,P>A,w*mHKPœMyFX,EA(]l '^ :B( (!?r_v$GlUa a!@+,W@tTFЁ>J RJ?)J`TZ3mSQ5 M_̌q&$=Gq7?]<=nQĎyAUAJg5oY3%f3CE5$En SkR=9K:NNI(:*ij05V?H@=S@w?)y0e =aP7kK<ùrxWNDQ#R6shgYZ7zXZִF! n]ŗXiɟ95ZrY!Zg>3gAKrؙ]5CPS'!]yaӄÒ>24ԿڴrЅQS`PJJ\i:lCeZ/c+kA$H\2ouz 粞&3V_P+pO,;$.h8Uq >'|@..CBˀT\1kV#ebBBO 1hWР!J ǁ@x/,qŀ&JVu8lruT].Pzn.3gm Kݴ?a+|?qSyʷ$T5P?^<"aHdزr i[,CkzaB|Qmӟ ޖ gYZ626bc917e4fd005056721321dac8a9d1aa41abe487d722a51b70602a06e4a7b7d793ad6a8bd08e87 71ece054648c7677be1b389e68c54bc48399d8b0 - ZF-Constructible