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 ~~' | ] WorkerWrapper:threads=4elapsed=7.558cpu=22.368gc=0.872factor=2.967zXZִF! |]ŗXf[&M{z6b'(+6(3J6nv㥷8_`^v }~aFY4"`|Fi,1>qRvoƻ/Zy1g-i1s,< 1u-W`g_뛓әP/Ugx0 erAp~q!tUCq0z݉VH~VTQﻚNP;<ci1ȵ8P?svO`B^҇Pvt6wҳgr:ZE^#WEST];C<2)u6ݱse@|{cdCj25a׳.gs>7~]G/نs΍O/ZN&Z?0|œvpHk%@0@c^w[̓׆p6'u( XS%PL%G{V?zfk B|P0#1S8#7)4̀Y̓Y𣭄:G#u? 40$2{t0ikS`@= r౹?^PBGI Sfr9;\T@#q[bv-y ?mpႏ+Fv=̽[.3>}9Ԅ`-[ΥZ%Pbxڱ~$Q-}k?}Twv\iexDLedYxKZ|Uw]'16X'#Gk>Ҧ.U6m-߅ ~ӏ}ףJF}#)Yl\$MF.s?l{s7"ݡؼ*g*wf8׆7!YՌ* gq~=~Ց'f 9թo& X6HdԷ AJ. y9gYZb402ad01d2fac38368fa37f8312427fd4648b6671795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 946967d0ff27c8358b9575a3ebfa35088ead3814 ' WorkerWrapper