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  F F7tt ]/ CYK:threads=4elapsed=3.109cpu=8.752gc=0.184factor=2.817zXZִF! ]ŗXf[&3wil=xq:䄥DHA@p:k*6Lɷ|N>%v}| `Q+ q&Hl|)[ЅʛA7U7p`,S䜲 |"vKR?Ltꠕi9O1Mdj9YtCbm$}&0':]ЉFTWGer-SvZ{ bZgYZ7zXZִF! ;::name=CYK.CYKelapsed=2.740cpu=7.824gc=0.184gR@Y*T}YZ7zXZִF! #]ŗXi%Bo2qe=!tѺ >|>țQ!o+,0bз/~;$` NPBTƆM6ʰ ?-1.ȴ s/`!x{A료56s+j_8u?L{[~XT[n~}S}[TqǕHoռ%}s)I6Qm0eXP=O*Ľw7Ҝ=qks/lv~ >ٙçyђ'!/ n< ΟWEщmTb~q*VA30C׿kNaj,3p&=>i@ bH9Dt \ Ɖ3Np/wm&/Wċ9˷68gpkU\Zv٠bxQqrA:ڪݨxMG5Uv|C va=2"f)^UZ0 K FċԢWZz4o#fW7Dknqa,n4),Xa4mﭚhfoﭝ*7:}*5X K55u}齜Qw2GHWjs,bD8mLaOG U5n9 }v^uBf[I D[?,/Gyw;ƱgYZ3c073432b459c3ec1e8e167dcb6f36e3b9539300ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022  CYK