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 ==@' 44 c/ HotelKeyCards:threads=2elapsed=6.549cpu=12.752gc=0.360factor=1.957zXZִF! 5]ŗXf1-q恈͐7ӺV7V(&;k ?q\lΜ3N>Ub0}b PUG`X}ؐR2b]wt+%9 0ڔ|58|\u9@ rom $8EOng׎4/j; 9GFi7Tۂֻ?Qd8O h׿<ףa2;Ev;gP7J[4Iw7: ibaP^GhYSf/>]rҏ.oV1"+H%cF w"aH_o,\/ꎀhūʲ;*2noQʧȚmq56blߌF&&֔$ 34pI8Y#h Ze[E`.f/ReϡH`O%7*0I*0] S n|7hKH ^UqS]?:%R6+[v]{D-fK * Ux{fv Z Ѵl踪Lkz8KiM~c^O:Zumvi\yko|߳淽wn:;Ѽ#}GI.)U;P"x <)DA9jFGfq rf #?CkÅ7$E$UY{d+p*#{Qʬ]|i/fh\(ECGp6vW>,i{Γ+Y+Y׬rō pKh뱞_Ee}{E_WhcQԓ=`;q R2KӸьTy%Ѣ 1T׆;vdBfD8n@pA!B;] >2v%DJZI#(4E  jlgYZ7zXZִF! *]ŗXi% lj΂7>tϪv TI+Bo"!1X]ȻHeNlbH+D"zZN>_w 7\i+㕔a> jKCj= Ddk>TaZ1x9$@JqA>(GVk-+s<a\|׃*)>+-o T>TX_ H})I\QD"NC!zh"P[HC, 9dH/m. SgUb,rMOMZ]Ej/ jRkv]G'i@uW^"]8ZJKyZ]g̶]N dTHgYZ1e12593909077132072a96e48a80107922ef5840 52fd0acd5f3350a5118c86dad5470760fe4928a3 8ac71199f613c891b923a6ef3661ed0f05e2e02d 91340c09498836e99ffb1d4232bef3d4f32abaa4 a51c46f419034b75248808ee47c104da88e14684 b201c853b92cb5f66d2e748c4f7387b9346f3d79 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6 d5c71e7a066a705c5f6ea1f7f4343c7b2faf8856 de1e119632df2a41da5ad6cab75f64c03e85387e e4a166da3d39fe82d99eb450674b58d8697d4673 efba7668b0ff6eb3db65f875e64ad6554fe8c521 fa4723131d3064e12aa1e42d6845e17e80a5f232728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de ' HotelKeyCards