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.593cpu=12.708gc=0.312factor=1.937zXZִF! ]ŗXf1-q恈͐7ӺV7V(&;k ?q\lΜ3N>Ub0}ij2|1 %Ɛh|ba㙂PMϗMtC&Pl0!%w+i^7h> \kɦa GDK\6c|%-84GQTFyLID33pa; 7j8[ v eJ."aP}7O!1va@_u|31En{NB$$ W^[,WMP0:-QvHF 9X(Dc!ݝ`_NCnW'n1FnE*5\L4\r] Psb?ce b߯s*gYZ7zXZִF! ']ŗXi%6xs(pZ- & &b_wkPr ihƬͧ!Ɔu@/{yk;0a#ƞ痧I!6jzWt-,7?4BH癀,ۆMUGI#(9(>Y]wvq sނa83c~t ذZ];&_g_a'坩N4GC" gy'-2F_7+V*2XԻGpOA,: FC^VGZd-s"$D9-1ְ{j;q ,cŸzؚU *l.GXJjxYLK쳿%v/!hx+boQ#8:_B[y{Čgt 9f_03Pk7Ř9ayBWZsW9&Wg.0j9Zf>G4 b$pz@]Js* P%jCVO=}7) #{@ m'ir@t_g!9a Nj"?R]A3"@~ww3_ww](Zfp///n@>7'p军:wK7J$q3;G:k~)$jYc {l]'2~6~^}}Քg#H~@v\} {MTuq>$l"T /OhgYZ1e12593909077132072a96e48a80107922ef5840 52fd0acd5f3350a5118c86dad5470760fe4928a3 8ac71199f613c891b923a6ef3661ed0f05e2e02d 91340c09498836e99ffb1d4232bef3d4f32abaa4 a51c46f419034b75248808ee47c104da88e14684 b201c853b92cb5f66d2e748c4f7387b9346f3d79 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6 d5c71e7a066a705c5f6ea1f7f4343c7b2faf8856 de1e119632df2a41da5ad6cab75f64c03e85387e e4a166da3d39fe82d99eb450674b58d8697d4673 efba7668b0ff6eb3db65f875e64ad6554fe8c521 fa4723131d3064e12aa1e42d6845e17e80a5f232554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 ' HotelKeyCards