SQLite format 3@ .  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  \4t ]/ OpSets:threads=4elapsed=14.590cpu=45.212gc=0.960factor=3.107zXZִF! S]ŗXf[&ZyoU96{8Ɨgp ku3F.9앯2;<Y Vt ''7ҳstm ؄fft ~ '1l vyW4qW#=`9cIF1et^\iSbdd)~Tg $Os!.]I=PEVXqOgCs!b:):~Z{`P$*Zc*,"`?<@n /}m=JZs.CnYs$ fL1-DZJ \KcrE.t]!}m޻t/}1B=V;qTk p}4X^fiՉ/i/I'TMNi>o,ȐYs6YI7 [MkHDOPz Qy%6dfjzw :/h0x&o$U a4Fu^γXL0N.Nj4COb}nYv^$KSEē-u<"( >-&Q%q,´hm+aH|22vrױ{5gz,k ZZFVF=ѿ:$$⺟R ށ&`"eC,`IgYZ7zXZִF! S]ŗXiɟ@*ajmSZ?>Ur*B`b޴!lN8uqkC`,q٫ޜt^F}D5^ t^mvTwm T]z%n3SwwgYZ7zXZִF! l1]ŗXi%B+2DOWl͔"sNvڑMr7N]]hl7]?s_(rP(>LVٞ< j2 H*o1"ffW@Z8D$)㳗h9uLZ[' .O)QG_' k$TAEjgmT[{^ҨzݲE(ͪDU{7j3 (!ҭ7 n_Š~FB\WؙÿTDVl;%FO&yͭ"nB@uS.#P2}&ͱ>S;w)v?Lq=3`yzvNڐ%b9-/?4.D$w@x!"rqd4ɧx̒xu A@G]t Y{rݝ1y嵊5gEbqPy3Fo]&ž׉ի;ɫd!|y1n&?zgcψQ2|Zk2G&d;(`6YmPe/ @5cBϔh j D_Fh{m b[@]r]hWЌk &t|qso)x&x_]צ)Va5_uJ%/071Z AY0w[0_q8킪]^wo_);҈Y_Cf\z7f*#SyN4}ٿAd.J"O*N uHe3)ӈiYciɑ\Tb qWaϨhGrodcQѹ lxKR%"sSw=u5o):X;q،"`QDF;_BJެmNaߜנ(.sĮ-[Z)F.v"xpSho|S]T݈&ZV[l!Ag%ǖ־ f,(v,zAJ%B2;z}h'J>TFnyM 1nO [4۪p]\[&?UyH<8^BD;0h}y}lwM0ܹKq;z g Y/f…qBQ=Bivg%zСDZZ,]\)NX}{Lz#Z{wCMc'gџ*(1k8fKC͒2gJg*ؚu!}ZE*jN* c_ qi qfU1cE_Sx[d)㕮P֤fqJdY]Jd(ĚɠUn0un e=1_jH24eo'U=W 65yHNYbNlW (.a`-4{-j[