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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
%1LD$ ]/
HOL-Hoare_Parallel:threads=6elapsed=60.087cpu=307.064gc=5.688factor=5.117zXZ ִF ! ] ŗXf1-qSp~mŘ,z
:3bB$֮GX[/
{H۬_Qݡi &R\vi e{Hf^Nhfm39$6SNtU#D#2bŴc )}.^&l+ /{O?(MI6?08c<zZ'$&K:p\hح CHS1$Ksio{JqJQџW9WY9LC`CܯވS5]l
cD2Da]Nd!"%+N[zeK1r{ش&Mk_;!
1 HOL-Hoare_Parallel
DR{.yAMY&kaզEwG= ʲ9M^j̳Q,NG9CJ &n9&+%A,cMi.TG/w"pT5c3_(Hǭ)ոjmy92vĭg٭Q>D(&E~Ԭ a70ǭ%x+|gAćv[fYbNfЌ@^CWZgKH'R4Y>XkїsG*ocA}ǿ`ٰɃ>9*PeKd0o᷷%2E: lBQCJ ({ٻve`25+ƴ7 +*Ϡmf0LX NnyHHFI/P3&o1oW-McWcO~G0IlV旑Do#I#l5F:TVȿSAS/_Wl{MԒV=8p/)j`@g/^oiE26),~D/"=chR.5
[;^|/%y}nO@S"oȧV4oooe˨$TŀNOȄtkkՆGVt7^0_Ee zX<}Gi2WpyrfW
z ƣyd4K_*_*ܔPh~Ek8 o\omqOiD%M1;4_A(X=q %i4u:`n 3*qI&8P6RNZep_訚p|#@ks]OE f+طPm3gg:OU?^)ff_.^W q*ZMt~u2n۫
}gFy\Sun;#MZGiRxxÎPQK;7댅p^~Űx̅g飳A*5E]җ>a%6U:{~6Nn'0M@XcQ*9>Gwp",䟠ZNϙcHq.3[ }Ӝy L$'~ЅUłd)߈dz`]ĸ_#cmǰ{m8N=;mˍnqcٗ^Ò\܃mSgmݚ'/b R#>53Vqڏ|]hc
kmN3ڐV$ AKېN~f_Czť0rkLxUј;y wmEx10n<:w,HحU|j'eL'{6ȥ
)ŎZE Jwgu0Ut`6Xٗ2&d7@}~V'}LasiRA<ֱ5( .WiR灝~&iS15:>唢AGl֏#o}hE%VK%i(∙5XtvD,@ljV3.}1E6L/rsϬlgDZ~THT&pТO?(/!dI sكD?d0D/yw0>>Hx=!꜓Fصc*ք$iU]W!*{U9>b43{_Gފ1P 8GsF`i ] .=\hit`->6d=)ׯfh"oQ$M-&V?jNXVs
.lk[.m'S%Ӆ߰.b݇
\`/ZA1_=>4w~lо);VX5(Nqu,vQ&]&&H*Z0BezR0YzbPL%#זC<}$s&3>DU!T2vu%SqeQ6O6܀ 7z:>=۫31G@_JH[~e++>5 -Z}nY^[Hbo
JHbo.TsI],ͱJyl<됶:q/lL6??/]vA*{Ft+(;DR
>=
Ku>M〻@*(`oƊg|$DFQF8*O|2sNOHRp_S|x'ni[Iy1" "ĵv$9r2͉8U^A.QƒLAr4.zh6=0PY2LE~X/ɹc.s50ɪheZ-#U\
nؖ7G==3.!\]Xh951XHY?:*؟ˡUw`yJAĚ'hUi~PU{;j f V`x 綩V0:{nHk m5'r