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 99D% |L ]S Posix-Lexing:threads=2elapsed=15.430cpu=27.648gc=1.524factor=1.797zXZִF! 27]ŗXf1-/6vR[2u)qS?'CΠPhuM2bF|Oބ2\8~eRL1ƼTC,i~6uȻ3:hz'vr}|ׇŁxMCO@LTU[lf)BۦEkZN+H0gHag&ŃkvIp b\.%_̷9b`jٞ QH]Mw/uۏd#{A(${{VPB f*;qqJdLHf?b 5]$P@#L- B%f(gYZ7zXZִF! `]ŗXiɟˏ6t-utD>ь@z?HS(M3Q^ 5s*T TEv;Qz#foL|OYgYZ7zXZִF! Y,C]ŗXi%;+R X0iEs'/`D^x?iЯp-/'\%ou~ 9_je%A@>KjE\6錎\I<;BH-Ȯ<)GZFKhy3A6+T;KMe`dM*"*L'e@ ߣh1V#+o|:oq3E6R>b9i.Ոj=!ʄ]&.D&0T}Z;鵤̕uCl^I6?kFhT9"59"VwOK􉨩EU\d7$ QN5:VZe&Wӥhw#xO :8 ,VrDke^ UȃPrc&Vڔ1XSHzb"!QQp&saGMMm SW$W^D)[dcˌIZZ^2͔4vMᆪG󰋺A6113Y+ɇgJW!l 3J=̾[\$btsw#p-,T6}ިн A 40N9Q-"{|7  %A#ÙUޞb C-">G-ْ"c@V=8+-*d. )]/` 6,DŽ"H8,jNK%tSоp[jYjjYmj3V1^ Zp R,Pq^FOql{TYu՟'ee jOI cK:˖ ր~S1=-9 C)o)f5D}ݛnr;pkE &xe"8tj*})pHm9ݰF)'lwT_ saqo=!՚<GXS )) B ˅f177M!sY۱E5fք)рZ:I!e8oGkSJe"y۞RP'FB*Y%85 p:ADm].==2jͯ0 $_0 Od:C&#ʰi OЗ:i 9gm5t8j2yn{%湲J꿹?%ֹ;00pO%vy"oTiQ/t[J  aM gYZef71b6dd954ffab72cef24a6a822c7946b2be4f6d14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561ad e816bd9a9dbad40b32295b442d799a64f41259f2 888d2e9b27f218e70de9db3ebb11a1f8819c7afc % Posix-Lexing