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   g) D ?/ HOL-Statespace:threads=2elapsed=19.072cpu=21.732gc=0.752factor=1.147zXZִF! ]ŗXf1-q恈8\:[Td6(Jx3[YZEeȼE<6]wO ]ȦO:_bwM&~۝e@E>aRWh:[yMܦ"h4"jŪٚ\E}HĨɒ(=%ȩ%D)XUT^^pz!#Ub‡G}|jv!U Zcg~QůGrD⨲xﶥ`sgZ5$hQ]9'ȜA\{p-Y- _J翥9ۥT) CMqd ) HOL-StatespaceԢ&zw*Xqi֩M U<+rWINȚv&[]h׎'(b|qwPkD `2@mޫcp'?H&<4_x~se17[X*Yذ4[2/$R#~gYZ7zXZִF! b;]ŗXi%HV&7:o ک! DB*؂D;eq/Tgq=\x>W'DoyPWRG~]H&,0:$ 1E.( otI^Q0zr !L2<(.baaQQ[[oa^Ye['~tܫ=g]ϺI.d[mM Bšh:0A^汝v~Ve ZT "ȸX hXg7}dj=E t|@~+A+)4iA]L|:-Gm@GUd fs"?Ùrj{c=sJUw0$ " _ؾ{&ٲ\pz[ d e@ssBWj(N^v"=>,bXJzUiEj\Ha1oA  SX15/Zfd9BqrE>䀹|!7 $:2nI{9Ȥ#,x g[~PC|' npBYUS|2RIN @]-U1bl7GY,MzP*[S rʋǒ*:K0u]ip:8sV.=b*x*ERLNukZH}˨ާz*yu"ѿs찐ƧGij+CF^w:jK% HX|+s IzB2~hq xA/>FQbp"xyC׃Ryjb_<o\_:pmj`U`J Km|;8 MBg Ӎ\?Cϲݵms})6X~6 ڗހ/X4@nl1uh[NOw3GP6oe 6^SJ:S\U֘rZG>fq1Ul6|P|&p_ƈK&Œ-x&bKvT4.ZSh! }]t遏 EkMۡ$lw3v׭a D Bev9~4K4#AaԇU̺+7ԡ 8+RʹPV+# 2z7XWd$yBOְA^YakY1Fz6o)HDc7 -_ DUMfEbzũOP7ѳw׾;5&#VnCR;'܇WZ0ʝuiaĻEp egYZ1a10cc298df6d2efd8c06d5527c768032d6fcc75 26e40afdb7e834e0eba44f1c492aa43d0dd63676 2c3bc6cbc40c0bbdd7aaa457a86aa2940c328c66 7972d027a01fabfa9c0b761a2151e7cc5350bee7 8761d72ecfb625a03c9ce014dffd9817238a9ecc a9dc8d6e38d2b4976a96c8ed8dc062bfc06f0721 c811f9e5f506b1b89dce4b8953c1938cc733a6b1 d43bbab3003daa10143df8d9e0c131b7e00b707d ec22b1b58b534dfabf8283dd0e71096382271804 ede24b52ae24c8ae2ad5bff52702f9d05f71d8707f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16