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 --P% |T$ ]S Posix-Lexing:threads=2elapsed=15.322cpu=28.028gc=1.412factor=1.837zXZִF! /5]ŗXf1-/6vR[2u)qS?'CΠPhuM2bF|Oބ2\8~eRL1Ƽ[Wun lo+ _u՘H장o(7 =̥ ~G}]09.'CF8{>pʐUYU8qb- AdޱIᵸz^z'Pz5` V Mq;֢ٔ T>CK>v x,ep0he߳j eo߹OEdD=)C+wgYZ7zXZִF! c]ŗXiɟˏ6t-utD>ь@z?HS(]~x mhJ,p} [n>We>mftRJvr߱gYZ7zXZִF! YJ]ŗXi%>gLrJڟzi+BdaT[nь/dZC֢7*S)%Zt?ϓ5 |x}͝z`Ī[o7!5~'H&l!*.aD׊Ơuc_T-XF+C[s3nEdTpv)(dEp62q^IxL|xVk_AŷC(JVܯ!N0D N4 dy^z>|Kю ৼ?mS<@/"PZpj΢[0aP_ \,|a뤙rA"<段'(i/} ##蚛fH~_"ť~M/6/͆RR٦ddTOͿIylD[W.nl Iw"rqqS2myg1#{ ¨{D6wKQx1 n<;|5ThE֥ $ $K\Fi3Y