SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ' L c/ HotelKeyCards:threads=2elapsed=7.182cpu=14.020gc=0.388factor=1.957zXZִF! 7]ŗXf1-q恈͐7ӺV7V(&;k ?q\lΜ3N>Ub0zФRWVRΐ]Dk#eTVe/=|~GdCђ6;^KOza_VËq,D?Ba<Akx6GNפ>U79x pX,2:u@gt;]y<]Er5$I@ 2P'U3Μ׊#ٙ_۴W >_P9M̟&+5؋~ leerlԌȈ vxՌhh3gqzdIJlvl ^z?#t[.2b~Mz5.?)Ey]1ԶbTLh$d?]V'4 4uO$)ql}IC~P˟3pw>6ŭD ׊$wg? x[$w[@q0YMFJ?6 QPNU`d$%ZsSs\lLJY~2HC~xI2>Z/4>&hh6Qio&7 ' HotelKeyCards^_",tcs|^ZC4ǺfZ };uj|1`vvyoF: Cziz(Tb{GM_-Ʈ}N$Jj$U]Ԑ42<">T=;e(= yN>{~!ф[9L85@aVX07g(ªu޿0PF.ng{!ph=!)7S;I?sģ&!ɀ;Le)gmfra(ţ$ hWWy0sbmXաy