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  j j! D\ ]/ Prog_Prove:threads=4elapsed=3.951cpu=12.960gc=0.780factor=3.287zXZִF! ]ŗXf1-hg3㶌 8UA5kGc,SnVk<*f`@?BP\Iĸ^nf •HLP&s2CBΜ=uU~;wV+ˠHmeɂH;[_:"\ssa6,VR q,KH6w7sm, ~8CFD[8V1M\VTKO\1V23kcT )gYZ7zXZִF! ]ŗXiɟ˕A*++YĊkqdT丼4ȴ㽩h ("N"G.mV6_$+?~?UlFof:1'bt[  L'IK*DWuL‚|}'2?u}AQk>["@rN=F߂ **1ѧ c1x/gYZ7zXZִF! (]ŗXi%B !_ ݖlS@[Mn@2%O,۷m*%!h|sZȯE= I+u0zpD)-^ H\)pqe!˭E"pdJ)|ߺ_(P,Lr:yF%^9M;1zdɾDfٗrsQtV0YDIl@7+7cO#3pFܹ [JYV`񙘸JTnn`B+v]N< |fM#򟨾Ycxd4;4J@bIuDSr(آ#8bn`_(~8!fkښyVt 4Yw Obh,ULAʳVwUUpvuBp/FB G]kkD;-z6ӝ=O!%S<}-"%?2 &DzY QzWKjֻݜ!>αcǿLt{~{79(Aᶭx3PwĿnjkKLҟ(bCxAb~8I1E&0C G_  Ѡ|gʳM9+1,8Wb"2i 8[o%{$v6O* Fﮥ ی ;VPtv_:V6~UÜ$ xy^FOix~Nj2O5IEVvRhP55Dy秠X}' ; dT).1HgYZc03737b0dd2bbdedd476a4a3e695f5900f33aa2fc3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a  ! Prog_Prove