SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ..O' T\ ] HOL-Cardinals:threads=6elapsed=7.301cpu=40.216gc=1.480factor=5.517zXZִF! PC]ŗXf1-q恈<-¡$johkX2I)']8PIzO 8mmrc[@@i)(C }gYZ7zXZִF! ;!]ŗXiɟ1?ߟt;9BP2CZz眭5 z J@m!4cdIm^tR9j}2餡%5>]I `'mqθqiL䧣)li7y7aWM2嬓(*QٗAxe? ƛx_"\K_㥟vs4%f,Z`oWf=S-z~m,'vFgYZ7zXZִF! $J]ŗXi%>oX fc) fң1[B:c[RdQ7:,RU$tX087h$ FoʓʦCU%F+ʝĵ v^\ׯ2t PK酀[ʾVdkX ^<&#lرְCf$Q.GuVp޵rwɅYoR2K [jĴ,ɠUVC߽ۦVD+ 7H-Ot$Зd`U)B暇HEfOd=7 S>*c-p($yDza$^)[6?bI&Ct>`r1\n}3.}!aG۹9]h&)'_?+ 2cu?B(]d ߅