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 GG6 ,ld ]]]ZF:threads=6elapsed=12.107cpu=45.120gc=2.876factor=3.737zXZִF! U]ŗXf1-) enȈA XR„\0G+M_L(P8;:J$Cդ898ۈm)$[mndu|M])s3 Ul?PN BfT=Vh{z Ah E B,J*+mW:Q R0/$a{gi,@+-=Ajt4͖Rd]㵬r!)%JY(԰ S׫zUv'AFz:-/ P'iI:HF̡[Bl0wKz2Չ9h#&gkr0ȇ6(5zc&V{y?IT*[q Y()R\>tlG.{iE@>$8igR\iV2?nɽF"]23aFX%u>جش;P̡H* t,%`gvB|!AB{'NDS`mժɟxѧ&gͩ#QMُ_ v|^}Rj41D؂pN=1_f+2-wb_40gYZ7zXZִF! CGi]ŗXi%IT˳T6V9>Ϙ!W[p'Lig48:e%84NG 0+(ӏLlvGM G 䜇{E25G+j,6 ;پ&#ܥ4u IB<4=2pzgԢk xP>e=%t/`ADScsG-Igbn?dN?b7d%7.IGv )˪*{ O]:GP}Љ5RD)ơE}(K#)N܌]s4wgJQ7=фɍS<0Zڵ{'SWu2LӒJh%x3Z' .r4>&r40>ƥI=;כ%${U{@W}ΞRTnACRP%t[Og1nNj&mYFl4+L{כxg ZWybUߗ>%h Aw K|BaCrk%)+Dv:' aUBRDay.uī ߶LQC0]C_9'q.x%_ٶ yWVtRFTZvCO3j$?,!?OB;5: :Rj3V ;?Ax TFpM{ZVX@j_%>(n'6ykim82=*<-lZ9A٫ԋw -c1I9}qR/ݩSq Ȇ:gYZ7dec9f3c3dbe3e43ad62d41d1a2ca49782831db18fa5df165501d3029bb2fa72694514834a8a60a8978df968433c39d99af2a3168f2586c2afeed1ca  ZF