SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  a a+,Ld ] HOL-Hahn_Banach:threads=2elapsed=3.932cpu=7.428gc=0.176factor=1.897zXZִF! M]ŗXf1-q恈a.W>"Aޙyģ΁K7!@c_u'QzqhIIP4 ۀiy{,Q_~hrř7(Dr%)_C|5ۘRjm  L<(`#۞k*b໱iQ񮔍ٗ(o_ؽdUg8wWO!{W0:)-!̍}]0nsP4c8Hsnz~w`7ZRgYZ7zXZִF! 4 ]ŗXiɟ1P ~n8nQLh) un0ļri84=|m$}szZjIJGxȥ-۽X|wtLC)BZ?w>?qS#7`œK A({w իy,j{Mܐ?Fܿ"Qlon09)y:IxX#τ$\ŒQXĽ3R<{jyx$q@)Ѭl}Brܩ*y*Ɠ;6ː1bRy^.G0E3b䖔` PJƒ"gYZ7zXZִF! S]ŗXi%9(PψȾu-@ۆbɶi4 s4w `x'86 :Ǻ|z~_MQmw 뭏6AQDHȍ-"ɥ.N#"{+v '^"n_M+1ϴuk/Q|=^=Y_6 I9}"Bjd;[4`|skY;S*Z-EfCD:|v Lse!XS/6ĻC Ѧ"9{>{fY} Ih& ,t7P{lx͸ْEDԱ yROmdrZMoaefH!~%ebBۻ/W?3\݆,`CԜ<8N>weK_a핀|J4!PAA.wɞVC>z袯؜.F)┉ m smC%YiZxBvWF>Hj