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 6' ,4 ]/ HotelKeyCards:threads=2elapsed=6.554cpu=12.716gc=0.408factor=1.947zXZִF! ]ŗXf1-/6vRZ݂ 4k:U>VHKWP"49, /kֺV@;yBxm>*WG)RX-.dkW]i>O(=Hgܗ&;Du|e*~f{\).az/)\ K7a%tT t-n ȹ0\V)22{>$Lp, ѐE2&b2ķߓ#%vY_;d@ߍQ<]q 졮1= n5EE` r49& ls͊Z1sgYZ7zXZִF! 0S]ŗXi%;3U](0o##M%Z{3--&3Ai6UsQo?4>T+ï}%hX\~#!֑ܢCY)h7ˠvLM`q!& qW[<56}56rTf0}% iZ@{'2 $94GyUaq-ե+ɰǏ)FHOJvA3GNQctoR@8 NH[?Thgc.$03O6Vo#qݱV*\Wd`E71쨶VSRC3y;aes`}-Κ[o d,7⧁UkyOK'C fq=Nbi+Peٛ<9Đq&F /;>5SLPHHXyn>Q `B-1gYZ75b580c26d386b274d13bcc5e29f172f486bb884665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee ' HotelKeyCards