SQLite format 3@ .  YYQ77Atableisabelle_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, "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 %%X' \< c/ HotelKeyCards:threads=2elapsed=6.651cpu=12.924gc=0.292factor=1.947zXZִF! 4]ŗXf1-q恈͐7ӺV7V(&;k ?q\lΜ3N>Ub0}eբ%tt&ڙLšmq }pAZ0'HUynG)2p;,V5 'v &*4RD>=7W V?]OˌqT'9s8c~_$]Q̝GT554~H( TW ]"F3tQ~,l٧[,q#Y4llCjRF'JY/07k_;Ai~e/Z%j[7>dۊ?8eUJX{-+* :vФ˴>قWYmCQzq)CW&S5Vt(xx% 5"K S׷J?\#Jt3ps ZGw铜3i Kbn+~Zjorgd捒|#v 3|'o/eSlR=&ruQ7Mt /‡;'䝆|6W)T5DT*H͙h2`HI;NTBy}AN{ڳbr;"2LU҄9զ`\}[,ڭ-zlvE#bDUs;^Y^\,AǨc hBCqt< VuPox"'xoˇ<לCMxpff8(=H.Bc}w &1ia(1Jg`W1#h1TBV}詋ot;_zW_^6<ЬG$D!x>h^<8N)pͩi;+G:v.d4x4@]C^-(Fx3Zr#zް882!qT^ɺYPܗEIMŹu[^Ks27h ڥx#X4/""u8˼'dQďG+h SYwѡۗR&RL2ekp ( gDLL0v*9GZN4څSRɭ4\ِa'yr7m!O1>GHe-ā 0xHu09HI TJ>^ ']}TZ7 [(H)n~?83@zKVt0Sz Ku9KMyMN1w.DmfVpNΒzWt X.Fd BGvkSFC49:7TdOL* Y6,"$ FT /( H)B]ΡSr$|,uUYsh&Bp l_wO(4o'(jZ>dҩ(J^d /XL"\BdVG,=wb߭A?2:# Oe5;4 SXՠOz40z9ݏUE!喥=Mn$#f5TY!PGkp͂7PT gYZ1e12593909077132072a96e48a80107922ef5840 52fd0acd5f3350a5118c86dad5470760fe4928a3 8ac71199f613c891b923a6ef3661ed0f05e2e02d 91340c09498836e99ffb1d4232bef3d4f32abaa4 a51c46f419034b75248808ee47c104da88e14684 b201c853b92cb5f66d2e748c4f7387b9346f3d79 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6 d5c71e7a066a705c5f6ea1f7f4343c7b2faf8856 de1e119632df2a41da5ad6cab75f64c03e85387e e4a166da3d39fe82d99eb450674b58d8697d4673 efba7668b0ff6eb3db65f875e64ad6554fe8c521 fa4723131d3064e12aa1e42d6845e17e80a5f2329711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 ' HotelKeyCards