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 d+ ,l\ ]w Randomised_BSTs:threads=4elapsed=7.692cpu=26.116gc=0.568factor=3.407zXZִF! ]ŗXf[&Mn;ԲhHYg[XkϞ:$a&R=IE~1?9!, 17?@P{U d|x+#W)w_S#CxnY!_EGfl֨"(tI&+jv0#꿵 L-ýxP{|ՏspTqxwK55 erҳx`RG/؁f(6 "uqq\BA4~W*uEH5a|ycEkGG-+pAP:]1NjE!Wj#C8-?bQ<Miivw2H`eo5ZE+R]Od-\"|f@w f )Vv㘑5Tj+mB|60)f`$]X&o 73'2C%ʃbT7`vY[K^Nol  zĨv7p|;Is!KG\eZ$@n-A<%&WgYZ7zXZִF! m]ŗXiɟ.<<ݴ[ֱ<鑶0oNN1ᗬC})ZWh{/{qd'a`t+!|Y"߸~N,.,T]kcgYZ7zXZִF! =K]ŗXi%GZb+ Mif9 WgmL"ҋ nIC1nC,WOf/ItFn_RDݱ{6]Kinad[' #Qܟ`:,bchwg|hx"o "狦i`uGq^,t À?4# Qz[0۩1:wR͘b١*6N#C9ЌWxDž$VaD ݙ`@IkLA`v)(O+ӠBu##gbX}8X}czLh|82Qec MGZnc&Hy "Q7tѮuDYۚJt}\?9pF%:#DO zB+Ufxd N.,o/& GZL t|alj@5-NƉi̖FBڟ$Dg#j5dIo'a7:\#/l,5 PYM:nM~'/NUq$'0.w`syj9M|ACN.4t^Zn/'XWOt*kkWi[41Lyt.24Dm~c9DWxQ/{E(rh:޼kh9Kӣ'!o7gС"ih=HkiƠ g3l<ƸvvS u [-h/ -).A5g@hU\olC$*}wt}  `!C4&DVD-P{e m~*rwi5 ?O8 0ȅ=k긽!s- 쑬(10 _&=\l#1,s0xpf9]W昆u*+/_ڽF(`mK{j3| o'3]H@+Ţ%KdذMA") tEH>(/vCj>r=p^(@ zf