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 ~' tl ]% Tree-Automata:threads=2elapsed=34.028cpu=59.876gc=3.088factor=1.767zXZִF!  q]ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXb&Ǟ?K1HNց9͛o30Zr.Dt<&G%FZZw?^A%qtn*5`gû T>F"׮)ӽޞX1ȍNBEVES-Z~gTJ2:n~nKvT'Ѥ[=Lz4 Q#iq,5F HUw~b AZIr̵1Mz@fRMD:$w-C*nЦtR*oSOʍ> 8T!PSoK2aTɇ7"S!J=3 -uNeM6$O8X1E.; *6[/| z?'O)$wKQ05Y3 K}hd>ʁY^ѷ'*omo#t|g YN(lF;LG5S =Y-jrqn&YWt_|lW2FD@ꎯBT8j2(d8CL " jiX$뜵cjt_e`ID:汗97֔jdv.$)7uȆK1]Ç?Cٷ%ڳ&u_GRS Pe-ݜ7B m&sz4T^p?m\0Na>%]!cESt HU>ՆPXAGX͌w8nc- pbY3:\9qETP4Q EQ;; jmBh~\|%(>ԑ fǒ%PےMpn(;!$B [U3Ez-}¥1Nf "N!Q!]JfL61ȧ:6b9-/ B*a-G/U;%$tKM1v]L j܄c+9@39 \*ޫTKr4aO^Gc%Rp(,y~O }LKZx@^BHmسP$&CN+b_j)ݶf;H[Zf̃.xIC)0IU(!bqWaC.BE"ML6t xŭQ&qI8ir]FPd {㏗F 5Uͅ[$o4[?qRO*d-,k@0GS<ͪ9G3^AR&N•0`HPq ^OYhP'쬪(f}՜SD){]eZ{}㭓_qcU l>dփ˵d~y 5qEH " a*nlՐww62`PZȫ{[zg-}Cr)A `QGXfň' {ϚtLTtM3$)UQMe\|=G j&4Wa "n̞o{M$i,7ZtUNTvy7K@B[#Dt9GT*ҜD[#$Mǁ~s(PIa￲v݀' i`x͝M6.3"T㱝iӅ51py{xnh?5IRN@N`D~& RKF)f÷X0Қb-ݛ(0'v[FǯH'=ϋJbS;\ݸXLL,(gb,E4fItkF]z~#~9xyP&z>ΚlW-H۠Q8 (*)x)ɪa!lO$-Ƴi^b-x7P?y8Uq1*[};CBk0 )ykQgZe