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  7 7F' d|$ ]/ HotelKeyCards:threads=4elapsed=4.461cpu=13.924gc=0.260factor=3.127zXZִF! ]ŗXf[&qAn%?x$]lIu.1uO'ۺ;H2$g,XILހл=2GqP@댰| mvz z/@i%ɨ7nivBkMЈ_k"ze^"֊ 1Z2gt7 `Y)!Ǹ}ntb}zͿzZn88#vVk4UJx +zmv_,Fo?#d~H>ٷAD-$vU F=1)Vp)QOք~Oׂ^T_%Z٣!<>o:<6T sp$M B` L줣W{s\LE/xW+j .J޷}gYZ7zXZִF! ]ŗXiɟ1˦r p0+7bOa\ AV1S,( Z-?pqC1WV{*PhB6nѱUi0F2։_UZyؚ'+'SDIclLB=0<+ 'a=d~M/+]fί_2Kl6*rngYZ7zXZִF! &o]ŗXi%B4`:_WI_<;`pv5vWZ ^WJcGKTbOIZOM94,ЈoĮ.@ $(tSU[tBVOf~Ro5c,*[rOZsW4t]C딚>%dL#F]ǝBtorI(>RGԞAIӇռL<; #Oy/ bCc39WAf}h@BuА݄PdnťPW./NnK pR33ҴVH[q,i&+!80t~Ҷud}Jk \S(IXv)ůtf.__gq&M$ 苢"S@~xX ~]ˋo== y 뱭5Bdb7?bZ" MTXNg/J+xaͽ0Y}FKf(vVukGh8k~%bRm u$?xZ1j])7onnf;TW"h׻7Od?;e(B_]=j-'OVd:/ p/_fB[Kh)%%>2z,06_荕9 pDPҞBp#Nt(<2M aزȠ s6TLADgYZb0c6ffe212e0f1fdad221f25a4ce6f5a56b0b6059cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d ' HotelKeyCards