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 X9 v}D#jUQԂ .OJJP$WuXQ¬RxpIQ=La2M FJO$"U;-7 t}ڍo$iS^JB5Ei,9f#Uk@t33G3k;WR wnhny2m&{cMRNҲ Tg *Ȏma/qqz y5 "@msR~Qg8=j>'~8LC4Ԭ>&I& H/@CL5= >]3aOjV ʼNHv\T^BXRJ&+|(kfO(Fh2ZĉU^""1A!>?,5M tk=Iv Qaoj X(ޯ$h'Q17s;|t!i51EigPuiv⅙. A3Ӗ1?,LKM[7LRCܤgYZ7zXZִF! ]ŗXiɟ11bu)\pJoHmXRo'VC$pE GU:f{k*+ǵcN+Vl IF_TZ@TbE @s"X>%?PǮl¸E`j ȡ(fzhJ"RfLr1ZbHg񇫷TP[ eVqo78axnSn:gv/ cv2sȡn)R;kYAt᛺.^_,5:r{7U9DMt,GA5R `ЂW$@N]$Cӽ==ԦQa$|Ty;oF@ y@!9w.l _)]DV,4&rR#FVEMooo&R0e"SפW)ʛT4$qy% ȅ;دͯ'hkR"phg_9t4<*\y9HE"D^t4s!Ӷ]gㆿ2o6Dq&YNo(T%5-Д_ ׃k$ψ/^G9mt[xxa/_#3u̝;]le_`[픋Dbo,i7m&Lֻ6,Я6ќAFLc?Fd eoSRB cwP9+2!/"1'|9\oWVuLr5-SoS?{U}<5(Lo_b #oXjO5d((zڂQ+=1%97\39]{8xY "d=LZp:~-EiO"/lGGR+ߵ"&=r%@eOI=xq `Bcn<]!򿑗=:W:KQ_?N-?85x)9<q^bSqT&vZ^3`bՁϏ>GQf5i\Č \&՟B€ T}wE3| ɨpe}M`̤85+^+oD-*(_J#oϋ:ː(8\.с^O(FU}%Z7M]^i/){wo"kGعz 3J*N/ʕ~Izm2MEBY"|/)p;{YC`ҚyݾCSHX>Mc$ia2V=Gm|>VWJD6P\̧pѮ4>rqzv aOL]LQwkcƉ˄#h>{ŞCt"eFJ .}Mj5|@=G> SXm\JbDSkE[(D.Nxlexoj}go)oG)$ Ukp紵|> S˦.-BfX=p-kUc_2^V$|C'# ! l$HJC휀^$83G tyjfhu?Lu|4[7螘fd?m1[&s(1$'@C50e`:\>όYcM܇;)wIXC{z9<S$KB:1;fBLxO+oÅBMk*va0q-Q/*!$._}Y_S;H8s/Dq`7Z=TM:20 AǬ5gYZ77c2115fa39ceaa160fa7d8d19200492e802ced69cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 9 Locally-Nameless-Sigma