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 b' 4L< ]/ HOL-Cardinals:threads=6elapsed=7.160cpu=40.152gc=1.524factor=5.617zXZִF! T]ŗXf1-q恈<-¡$johkX2I)']8PIwvѸPw<[s!ר7~ϬmApఴ\nCMz/l"d.ߚ\D c|][od'E850N@&ǒ#mr#s|Mﳴup6:㙪qT @EVbs!m8dC4,hZEKAt%]"B~\^mzfJpjS)cH:반K#wFnWZѕ_;TVIYwOy*vUZ.0y"XVy|D^}I;AA}B}< CJ.].0({!e;D>k6HZnȸUXsĥJoesv&V<0ڶqpU0&;!49T7e@9E)ˆgYZ7zXZִF! ;]ŗXiɟ1?ߟt;9BP2CZz眭5 z\""w+hP4 kTwwc>8 TXJ; |Uy(+Su^1>T;l2 16B Rjٜ^Z~v1^Weg#Yx^^yt:/gYZ7zXZִF! )W]ŗXi%EWS%<6?`[A7W%5W&S_-,Z: KqHmN 溍8+E/Vr?N9B,o9r߻HңZVpTc0H4e9 ;jKCT`N>:)=h)$I H$z )gy_E8OnN (/icIhfZV_+%_pyЋ_Z`d44V>b|p)jq+MAITʰF)K]wPg~QLDMo[q l"s<0^'O[%LB#.]c` n2-"<*.Qb( OZX@lS8nZ2ҙ^Vjbg51|?:/[{!}{ohaAm+Ggd(l;. 9&Y s=mkyRBv3Zt{2uK͵pՅsl1Ʌl..Isҳp4,eVsfCW몸d0 v\^`E"