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 [' Ub0z8V=s>&ifzac$˽DdfQI|- zx`F^o`!Z5 ::|4*+U?:N]V[4 VdPɉA&mޑ䜟]bB!"urq=/S RJ71C)N]43D7_B?`BvqM#ξ3IhDv$Ǔ0ܯ bu&V7>+qd5<;fw2^=6a48d>ƷAD cVR(1wbz\o:mI ң#j`sw.< ʉMJZ[tz& < ʌGx0: zIc"Qh~T) wJaAxhp烠M<,K97 Y#Ge)IMAs76 =s\Nm c6vm ]5#E\ ' HotelKeyCardsRj- (́BmxNgp%C4Cg1Hœ/߄$0.COF* 2.3cs`V6Aז¹ݩ`M2X0e2Ii'3nў"t {}UK$|hoN]jaG|oY'|H)⹇h@NCK=$OrP8D^Qi͎r/? :mS֡PsϘ'n]̚ =`K zRS' " {`-wtEXJvԲT1f"4aFN/2}G^-{Q)u~zdaY0I U :dI"dqߐSz; 6l"yGuYåe|7eTjD9ȿ&xUE Caߛ#U܆>u i%AgYZ7zXZִF! **]ŗXi%B׆[Y^ޑ>/w=1ǔ1AqPMV|F^T[5P8yԍ 6d1Ӌ)KCiXΙ!2qР$^|ZUMlZz^:`N}3k{?_]dpXe-=-G%c_vh3U ./CnAGŞx=EQc,Lg!QߥH ;}DgDG pVdInVgUެ㋚3#'"TC庛[:0`7Brq*@zv^ lپT~4ZY yy18eR[g~8ǐa'AGC*=;p@&i>qKk|w)'Hߒs^Z