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 ,,Q $, ]/]HOL-Word:threads=6elapsed=8.911cpu=40.436gc=1.604factor=4.547zXZִF! y]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?yfAISb™%ɎfHӫ$`Nxܹ" ˝Lz7t`'vVMݠ{n8$иW9kcW :{ jĐ[|JzI7e'e#Erc֎%^ R{ д8am/jkAp)Oϰ昬^ε*yCEr=ߤчOyb;,iC0SjqT}wgq_4GW DwU'<b^jox1 M^|5ogUVAËt&I\bɿl$I&N`$v `4DB"i*L"aļ[ҟҍ00v'TR / P#\&CHb ^V` gYZ7zXZִF! , ]ŗXi%;R'D{AtUG^e:`6 9B[kOgԧ}pI0#"of/ Ox VoLt0G>/xwS3J:S Q༗ٟ8۩e kri 1V:=D_~Xtmβް"MwTuN8!hIշ`C>52 rBQBqn>ubw<<_ "߸a.)p=dW^g$Uߤ ٤56N7*V&z';I\3ك֟]!5_U`!٘NGѝOrH~|A~=oeA?cl c튓f@e9~@eEN{[t Կ$ ZGP3裒%F}L6\ (xDxzk_r#{p 6vQkhLӎLB#b*Jć2s6tSir  .B'}ug_ύ^,GJBL))3Hlk=9[ ff>j'ͼh5c`&kh g 7:0e)E]|}SsL,Y@xP]`.[vl LGE-5`;|{BE}K12ι҅na0qwp8{0zz_*T&5k7WC>҂t[ho3[_&)錩r(88>YjJw4[8m9>"H*`C=4!r۾.-M.P),; = \ݎ]$bUհP[J^@U''Z{|bChvf꾊RO!r\==yLa@DB0HyNtXcv‡s2\lu+150}˖H1(YSNgYZ0743888e3abe232d57de7c21fadbe7a932b978da7f04395e2748c59f6729885b2c3159d0fab3f184 dd2049562f011295a8aa6e1a77427cd05cf11b855b3fcacee9b58f14f2b551c11c69a3d8d87793dc   HOL-Word