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 V lD, ] ZF-UNITY:threads=6elapsed=5.944cpu=30.912gc=1.324factor=5.207zXZִF! o]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b :ޝ/ KWB5-OŌp tl 4A/{В0upup1=؍,zq(=? ,ga+UXH*u'`cM9P/bC跽~-#F$A) y.{ϳz6.iLc1(]=Eq/yj(H/N&.]; HIW×^5E&<-*7AĞ?(B8ۅTlk-ގHY8'o,5I [twʟBX'*T2׳uvn"VFfA(Ѓ<ͧ3d l[ 0-+㔁Fۑ/rnck}5Kb#bJ˛>Gˡ@oUҊR v-7zrٽ,j  UǒXga^gq Nk[ݘϰɋK(jsz[^H3V㽢"FNncCFrh*$ș̈́HU1J.5ci ܱgYZ7zXZִF! !]ŗXi%H8 %p@TH-#Au%gBNr(1KVs+'ۇMKb7*Gzẃ=78ϑ>O6U$ADwco$SRgf$Fr]Z/Jeo.:)N w(b9c4h(qa5H" !HZO? "eȉa4^pbcYy_XJPeoT3ipG[RqvƼkؘDT*TZ%<#V "a,k5+#8lܕ@Sɚ/M )YG-Fr;be })9oFFFYR $t6Q8C9N_s1dD;MGcex^,YR}fRz?|yk0s< #rua]jM Bݾ vOPjA>JPQe#4p6׶dXy& NPcb5q]:FݾPhr?Xt(ג˦|n_ǹ>䍖Y3*ɂ;y'5.]/[ZȵhO@CCP0J.lU?HNuYI@$Kf&q9 tgSBnp eo1$טT4[X}wg21I&<<JA <'᤻i'_! ΁` ' 5'kC7oYS;mtMC gYZ8163ffb44c119c0c63d834a3d370073418115c467c385341d59add624f3803e0e2d207c16fcf2b8b 5dfc03f70680c2ad19827c606e7867d4fea6a74b afe2f0b489a2b2f97ec78a5fa5ce8522d9bf9019   ZF-UNITY