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 F' D< ]/ HotelKeyCards:threads=2elapsed=6.576cpu=12.612gc=0.312factor=1.927zXZִF! ]ŗXf1-/6vRZ݂ 4k:U>VHKWP"49, /kCҹFbOF=ظM+ Aٖiqg/M6RL:M_HvUPugS*Fǧ 3ǥ_4:@0OIڴX ':mܒaB94Fڽݶ#.\XYb`נmY\K3[d9puN5;YQY$;BۜX E]M ($.`Zj'EN(hc uX;M.aǴԂaSxaV)xy\,uGV v?dB?vF\'|Udy#ۤČ-aNqdWhʦe?h YK-9gYZ7zXZִF! ]ŗXiɟ1˦r p0+7bOa\ AT4展ghq.{@> 6hO9fZ],STءGH\AY:oZ/FTL4Mož!&hʞs(%yBmXr''OvCȏIY?ղȀdCigYZ7zXZִF! 0W]ŗXi%>g +6bE_ fIA NCuxQFmχW ~Fo*XS6iL0R_ PCvdwSꭼlMYWV^my^SN+~(0/nm|ZS ;G%EEY;N0<{;mLJONs71 |w<'h(_wlj͎g 10-^Q쪖CAoI\l ꢄP,y#u$M٫&>\(Z7ܾ,(CfSZ?kƔ)A,oQb%W[A,Mi,h+"ȵХ|WPF6J '{GӞ5 ؛el#K?KI^I>;{T^v*nK#lJ U&2b s EZRWoPᘫt,i(C!|oVmpRC8ÞkӻCUC4Nзh|!,_;.k "- pH]bw;OmtiStp-e4SwAFA4 $K(' |!ǝJĒG`R`gYZcf474f02d2c5db8e6e60caef66654295c87c0170767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 ' HotelKeyCards