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 ..C' L$ c/ HotelKeyCards:threads=2elapsed=6.512cpu=12.544gc=0.404factor=1.937zXZִF! 5]ŗXf1-q恈͐7ӺV7V(&;k ?q\lΜ3N>Ub0z8V=s>&ifzac$˽DdfQI|- zx`F^o_I=/aiV8Z)+ f?t^Ʃv|ś@Ph\0Gq`g5I#sޥM: |ֿS?zi- 8S;@JG<1E{ȅl Ǯ͚^0ȸQ2 _F8lPqz/*.gϪkӓ2]\Ȳ\nGsaxRAJcJc逮Vc%MP~eJxsPX \Gw 0N1[͸>m|F.9֓vQ@lL5@&y  ' HotelKeyCardsażLJ#we$7V4~:>r DcukM=xsLV_b@ZuqdEhu >)j`vɐYn 'k;5Xß%fď_P|;DIHφm f{^sDF^[B"lR(w aB >o|,mK1Ž\|q 1 %p3A[jJV>n7|? mMB됵}[gMAgߡ^F 9!-*kiP-,Qtj}*dη ՚CMY' '~SLx |D޺j.Uܖs j""gYZ7zXZִF! ' ]ŗXi%>Ơ@|+5,EQt̚㆖ޏ9W T])$B)1@َܰP@O/Ж܅dKS0ֽ]p|3(̣f+uj0"AB8zV ћTA]1o7i8P>2_]&mgjSk)692MSۡ Oo{t?;7tȦg-T8+.ZJQ:6{ 4FߋMBz#χot;8 *x mi cm 79e۵sUYDhu# x!?ؗﱬ6t2=ԪN&ln%tb.[qb28 MF]Rp1_0_;Sc _Da8!fec˱B酖Wy$`s s!Q\VG^P#r" D mh O)gYZ1e12593909077132072a96e48a80107922ef5840 52fd0acd5f3350a5118c86dad5470760fe4928a3 645e5d7158e5e7c53277fe14ff3403ee9b867653 91340c09498836e99ffb1d4232bef3d4f32abaa4 a51c46f419034b75248808ee47c104da88e14684 b201c853b92cb5f66d2e748c4f7387b9346f3d79 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6 d5c71e7a066a705c5f6ea1f7f4343c7b2faf8856 de1e119632df2a41da5ad6cab75f64c03e85387e e4a166da3d39fe82d99eb450674b58d8697d4673 efba7668b0ff6eb3db65f875e64ad6554fe8c521 fa4723131d3064e12aa1e42d6845e17e80a5f232878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457