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 e |4L ]/]HOL-Word:threads=6elapsed=9.860cpu=48.272gc=2.072factor=4.907zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y'E;lx@6%+NSXLsQX4}VCEET$Wj0ayW8Kuм`I+!rx?~ 3@eq zs@}=")~B]'/Ea;#|6Fz!{`#ƅBu NrOeњwpX{ɡhAg*0RxnD-9Sv?0U&z?nj )t9=hΆP!\=.`)YRBFg|Wgw_8?aC䯁N ;389I 0#lJ.fTI8 ".C2Uٞ|,|F>jl1ٯ2yRj魫<;yyy{"TfMO@09Wx ,?>&?` .C~ p,DKզQ`E_ӯyxf7R@BH8wٝY7E=1" r쑼!KW$T?|QT^j&,ϲ{R*نR;:BXnGsY\7UXR'dQᕴ8=<1-^uk+j\,1<Ӹ)-ZO"2eK~O5Zx!y׶:<|rzHPҞFF HX3GOb:a7:Ӫh^-_,JN\޻/| ,+Ql ugOWf88 2yc{ Y Enf[XgsX96^9]덼(`vG}d gYZ7zXZִF! 2_]ŗXi%> t\Q+՜G9Rt@~ŝrڍ@|QNl]!U ˹gk"TT"H^%zbS}nV~\T''?ޟvؒKn+ 2Xk` wSp-BD|ju,EZeduh?ƶ z @!`h϶ox׾uBv{C^vcIPnTwf[cj~ʭ sA1"I-cN4$"߅xF~|+Y]tӶn 9jd}Oj9_`0p293fv8 |vo ^!%3ɊP˨*5Z4BWz ew)?j\ђp|iAt3C__pJ[If3Ҷ4spdSDFY ͽ1AOF P5:; ^g. P^ڠӸv*`X9?EC& Lz̪Pmns$3'ʰ2z ic&EmPb\@\F*1EQY1 Z1#cSJЕҕOsz͛Rʱ!f*;|͙H5qSuIui 4ZuZ^.H^GfLmtGIx.,B\ezzD:v-2&ܱͽp[7|ŋ&,41]5[cG%~wUמx1Y'yz?-JL0~PhC_5=3 e)>®J){iTЉ,1bW.V;`ҙjhz > xY =jLJ)JaJf:tSpKVMC70*e4wP م5o^p2"9Qae乕qgYZa5a71219675073ae1fd1036b3c89bb5575bd9535d2759733082b448cfff319a2231d0a2df2f8b2b0 2e8f9a63590d791f747e7d7cc375d115fd0ad5f62326dd3add4f289effc4d23b16b69a845fc9de3b   HOL-Word