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  ' ,T c/ HotelKeyCards:threads=2elapsed=6.856cpu=13.152gc=0.280factor=1.927zXZִF! 7]ŗXf1-q恈͐7ӺV7V(&;k ?q\lΜ3N>Ub0}a% %tt&ڙLšmq }pAZ0'HTVf?еRSR: ۢMEĶ6Ls84a&6FCg>ƭ\^N$(V* K!,lI=zA~cI+/^+F/H0'*#smv-~eWoJFEZQ? '6O\rC [¨/B&J!XfH̯DHeRpLSC ۽h"%vbNv;j/R2@nGJNs-9C'0g{8ot,PO&:%}`(q-z @nI+LmՊ/%5<ֻV`yflj& nNxa˱щd_q ] z 27 _GW8EcYݻu0GBF}qX6?ԹW< _I؃T۸lէY?'aw^P wVۭr8CM ' HotelKeyCardsqϿ㙥ü>+&NIsQ 害}bymFE[u?îmf1Dݡ ] ; r;)txYY5)P|. &oqS< Ev>ǃQa҅b֠/P\L8TY&AY9Y~˿%d1L>lȘV%Ȗ2+2Ruߋmv7pT=D1ޝ-dgS&d5ӻB %z[$(#_TeDk"I"\ERy+2| 7& Ml]%mZ-T\OJH̾;o&RrҔXE= dQ&ݮ7{b!IKl'r&FW䏆bhKNBV<KH;ȳ?4z4bc"Z 3I%te~a]dJ-tz{$s6G#9Vߘܤ hطC$]#'R&ZTFg2ь6奨_'> nv 7gYZ7zXZִF! *!]ŗXi%DQrFw\\:-Wq|}~xbJ_蔍7 Bp!s##E!b_VGɿNeK.JS@I..dj_/ݟH/ ?wRw 0&O9+)>r_f4'+-B$-ێrJ.3v\p,QFaa x7*vja:пʋK"墟mµsTQC}rm[K_o{ŭr:@{`Z:CuEDTk(ͱBt<,1>}_+.~rPZJN0le|Cg +gaPfwg",I63=Z0 y?Ο)6{rpbݦ}轃DCr/ݡnfx4TgYZ1e12593909077132072a96e48a80107922ef5840 52fd0acd5f3350a5118c86dad5470760fe4928a3 73d33376ecd36b6dc8d27b14e3dff376776260f0 91340c09498836e99ffb1d4232bef3d4f32abaa4 a51c46f419034b75248808ee47c104da88e14684 b201c853b92cb5f66d2e748c4f7387b9346f3d79 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6 d5c71e7a066a705c5f6ea1f7f4343c7b2faf8856 de1e119632df2a41da5ad6cab75f64c03e85387e e4a166da3d39fe82d99eb450674b58d8697d4673 efba7668b0ff6eb3db65f875e64ad6554fe8c521 fa4723131d3064e12aa1e42d6845e17e80a5f2327df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56