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  lD ] Bernoulli:threads=2elapsed=10.549cpu=20.304gc=0.540factor=1.927zXZִF! p]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z:?`ྼ7~DDγDg*P8mBGLD7a*iUk^Y{__Ji7ĀVߒ<ϳ$!nc0T(ȚBZRNvM晤>ܢu&ihNڄ)`ZAZ ݛ%:~'V#wje~/^f"F~_0zb ]ViB6#/$-ψx8 :ïAAG+RmfTۜ0R$|d5! 8EqQ=[;++^$X㼳rz:gYZ7zXZִF! y]ŗXiɟ ؁#dN9ԝLgrMM?p +8T"cw  ̶:Ll%t#5<:ap(\GhPJ|.bfZ+c >)qybyKr n9h̬r gYZ7zXZִF! CT9]ŗXi%;N(u GA 0<cacaQcTkbn¦ o|A-R -6giB_ Km6Mۮ2(ƒod"@*c}$nD& H'KhOpoy[r3H70d3GUvB/li_̀9oR U!FV8i*V,qxqd#e0Ms%b閒.o隔~N~R El\{}pG>I#A]1*8PC8+f=<(2FѰǢ/]< ) @%J_-VDk1[f̺mk9 !* {Am4 X"/ (8ϩ +en,'T&ݯEU9ccn&8 NU"wS M$ d"FpORڟHY%r87HXac0j1 gYKh7a\@382XH)W. 7\Q3Ki ُ'+w Ь6 QmfdmŶd'(Cb 6IP^%c>/b :%N:y#FPǯpB4O怲ݑ x0 9n=YtKx'Nà!{.d2gVy_kj÷' >?;GLf}R1ǠɱYPW(Uf{c[ÖUZEgUzj!y[_%@n]KƄSIjH?بeJjNS%ۮ ySa =\˻:NjFDY2Tv0(/T QIKhBWlr3u^@KLoI5;WĂmXGIטj} Hge_[l@ȃK'y7glpJ:HSۆP]D2mdE z؄i6d'Z׻4m>QXUgՆX \gYZf784b89f4405032e90affef145c242900a658327665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee b16ee08ebfca5967a571197bd3aa95bb88e6c232   Bernoulli