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 &! \l S/ NormByEval:threads=2elapsed=30.036cpu=50.484gc=1.508factor=1.687zXZִF! $(]ŗXf1-/6vR[yK6Φ + ?:%Оos+[1x ͭ ׿򢎮]PM}<# C)ok vʆ8c9b-udCke_|g#~7B~])d%I0vᢍnr[۳\HXrH P ÒLKwRE62\$ymnvS]w(D+XOH 4BA*7c==Y xv)4f ˟g 0g `@LDze“dr9j+o džf8jQHH)mTŽ7$I?7kK.}SZ41(۩S-ulܲH~B8_^bwXf`Dǻ`Ty4 )1b@-ʵQSb-|ŵ| #慅ݱ 7mg"}+Fv<&. NUI2QuW%sť(|j&V ܰ3Y}6çM]E0-i "jeʳmkd@H ;I2OB8} fŰ}@UhBSG"{5/O0V&ElqMǩu[cqX}WJfܕK Q wPSy i F#])ϼ VRܓ^_Oqi0%o H+O+gYZ7zXZִF! ]ŗXi%6˻h8pjKf?MK&fSZI C%v+UId]V\*L eP!xP=wij|Ie;+aw}$}8Ye.œ  czeʆWPb{I\Fi׍z~&a1I *қN*˔q!6LϓORCK7/Rݱu 2! uk'5M#lF(U+ 6I)陣Ny }t1?rMi#ǝ)Kd6Ԩ22D#{QϔjgréVQe Y:= Ft KmiHpAx| En+g 5Q%!a\qcz`  ~Щ]XE0nF0y2*! +@aZ 6+\xD*J+qqh\;d C>|>;i$'k[WwX^4GYEg˘0p͗~Mq-U!ŋY+L!#:a&tkJ a \+G!cǓވKC{wAxBH(oKwdPko|H1ʂ/3!.,}KhqZr.oK08"5;VXƪ-R2 < U{Wì@8LHa>.I|&rlK7D0x-բHn"^J,|h]pz 4߫܉q H`p5w[>~,H=<I3E.M7~mMK ]0|EȔ[zI1{i$~A8D_SP X陮e@e=\|-NW nWȨd!o}hmRKg쑗,}*ysj5<ʊŠGtL׸oKc*/uU^Ga?઴fY>BEoR*WHQ:kXs6=Si1a&q" xסةmj4ɮ'Ԙ ڗ;&PQVvHvCѷOSøX.&ڬź|8W_AGnI`IccUua#ErBCRQ fڃRrQppɃs9Sa?r3 $LןXB R.z.(S a~kHG>ƥ=Ī? #%>Q%us[!GVg}L%НP7s>hK=.Lo~