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 ::7' < c/ HotelKeyCards:threads=2elapsed=6.462cpu=12.580gc=0.368factor=1.957zXZִF! 4]ŗXf1-q恈͐7ӺV7V(&;k ?q\lΜ3N>Ub0}XCwn^(!@8lZWZԽpW{Z Tb^iq9?jjh?:r5\Xq qE -A?0όYFc9uA.0Îϊ#`鎱:!MT6m~AS?+̾A'qbƒjB_)L<`]jNZھP\vG#F A\% ~ht3zy,9E7Zd[㝋 (Oa:5 Ezao]U&ĩ~[0kO'-".lq' Hp+.DYGNTr50{ Mt|^볯#Ϭ^t8PO\:t^,A5>5 8Ny@C:4bHVz 3& e4Iz{dPpo0!Z@;# ZPzٴ.4<6% u{۟]+ ' HotelKeyCardsr9rq3É \,|(2'cNI?]j%-h'GtA:݈~A8!B""S Z͉3l.1>SQ@gojYe߁F:*Cx7D{@!iJDy]k0k{z%0 nj jkK?$ɣ!\2dw2i+8Z/A:2:9u~F$Cu;n[²[й}Lge@hHʤھ}yV-$ *qrHs7x/4}Lм!CƱ0T[Qr.\]˂aU\8>0ׅ7ӘYpx=0K2x*سu˓~ղ R9@k@Qיh Zz =dD\qx !nTz)mdQUNjq٘[2l۸QFwv$G=ćԚ4tTqL=kHm!~b}O)rJZ J _?:R Buە i۱gYZ7zXZִF! *]ŗXi%m^ ϕdM;W(Ȓ-0Y{?~)[ | ᰫ_mE 'e`z 9`6}0ԴD8 ϫ Ռ%KM3\p'03 h@|@Y2FbfVًXMNjж\!xm~DFwö#u3mNsI!sdCH,8{PژSJvI.hnQmڋ~f7*DM0R2"@9wjY 3{w3eI:D[F> 4q=fn}xRƐiwn?57\L㬐Pv{rKGa[ИQ=kpQlK5>%VGִݱvR8X BMpXӊAl×:Dv-ݙQ,xvtF_QFd$)c Jr š|B$8|eh`hLd Hb9Trj=0.#iww7hv~rGQ /_5zMu̫{Q#^enF_͎'!i$va=V-^ i# y,Xװ.-fsu]<Dc~?ɘZ8`hC>λ0kDTFgYZ1e12593909077132072a96e48a80107922ef5840 52fd0acd5f3350a5118c86dad5470760fe4928a3 645e5d7158e5e7c53277fe14ff3403ee9b867653 91340c09498836e99ffb1d4232bef3d4f32abaa4 a51c46f419034b75248808ee47c104da88e14684 b201c853b92cb5f66d2e748c4f7387b9346f3d79 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6 d5c71e7a066a705c5f6ea1f7f4343c7b2faf8856 de1e119632df2a41da5ad6cab75f64c03e85387e e4a166da3d39fe82d99eb450674b58d8697d4673 efba7668b0ff6eb3db65f875e64ad6554fe8c521 fa4723131d3064e12aa1e42d6845e17e80a5f232b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d