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 U Lt$ ] IOA:threads=6elapsed=6.956cpu=30.580gc=0.988factor=4.407zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K9];b*>?E0Nq Et?;QH]z-ΝEمTd{#69j3#8޽ze;_q&B V7P+3n9uOrD94[\w*҇sb߻O\ƩOhȣ:0۹*>JOڴɘȏAOcm'E%KK>x"]w^=zC1g!a3{bHgwRRtIgri < C_!?P ^Mk+R;svrmMpz}כMu 2LsYl)WtWuzz׏~u UZI|L#ZVR0Gw)ˌL_+4*ǷBW%fK*Xi 쑳q_&-e1xV7kG^l@z\IJ"9Aͮ!쥅.RZ%B7b3IZ3sǨ(7t B\^R%g±Ma?%*.V4&gG^[] p%dHm))BH9{P9=[.߸ "xܴxA*btcZKL~Žh|4PWrNd2@Bq6쏺K1̒Rm>ݳuv𵤊u-hZrh j0ى,*Ynҷfv9 ̛*'1/NP:hG?/cj-f*MtI˻g1T_G%)( xL;jvqaYo xVB ̖='LBC~\KQJAi(2j'OfѠ)׃A8\.9ƝkCOb.a7=O) yZRhMYd8CE?~ׂ͆@OdbkGEwDKOmV3qR` sWSi ,&E kLGdtp Ko-؁?tۺ>9zSgYZ11f620a85fbdaec45979c95a62e54be054bccb0c202f6f92237c25fe02f241fe1e163c0a4bca399a 63f007d29bfc488e0cf2bd9362b622634a9cd39d 85071a654d3020ba1f4ae0efca4c210388cd3f07  IOA