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  lTt ] Corec:threads=2elapsed=48.966cpu=74.500gc=5.248factor=1.527zXZִF! p]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$b8x/6O1d?Z{1 ޽L JaUI+2oD*߻hSae@AMb>@&D0Oe$22gYZ7zXZִF! b]ŗXiɟ&zLo<,*c]όQs=I3M@g$/UvG; FgTt9Wu1E!Tz´#wd x R׸vPkGu1()zQx~ !xɅLoVC,LsiÆp?>4uh5dg0!#`Nj)~ <5Nj7TI׵ZiK1<{2A',XXu3魘>nPhut4lVj3N-etC9^~ڑ ـX;F.psLvcxR{@q٫o%.<hM%K- :Udn͗cIk.Mj%`{)4 ǻdiGڽ#pۺŊJ'v!K~~jc,Tĸ$cЌL>:.(vңSДBj:˕>zE&? \HB7#-g! Q2Hb1gG]c Dz-B/z‰]tƾlp>Y?g@тIK8mX]e!tx7q͗G?߀_{JTtf1x|oښ_? ,zh=4+ftW\|*WZJc2i{yc&m4dBM,1ɞ!wh#sS0kdٺ-9YZV;O(ȟuUX5A?^#ʴQr )iڹ-ZNdg;|CW9CWJ 5HIb7{ ֏)T ElcXFӈ(Ul-.?ߒ3`0ŷ )92o9N/Sڏ0],^#^)kb6֮c;-zhsi. *?[ǫV5obOj ;T§vS CUy,ƴ5%-o'c>$yIPy 8eQXS4v-h}4M/X>(3:|EOj  ϕ ]8HU6UwQK|DӧѮBj4FFރbpv ?wwж(Jn,4&Zcq/҆Cg) =1I-%>CK5!~3X5$]f* DHm; xyD7:Dƴ gn"39|v+wsd/t\SA .v4Jgu =*lfW zq-2]q*y6 9~E %Bil)ߥ\2I4i޿mgYZ63f704bcfe9a60c24944f9e3c82d28c0cd08e055c3eed4da8d2aaf2ad54b900993bdd6f7717404e6 f5ae9f289847647563f612b35004c35ff6735c80 017c098a5e275924ef1840cb6ffd1dae2054de14  Corec