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  u% |L ]/ HOL-NanoJava:threads=2elapsed=6.507cpu=11.548gc=0.760factor=1.777zXZִF! ]ŗXf1-q恈ֿ?6q*تK]M?hac耯}ڻ;pkp/sVD^o-ƪ#wgz>Oy!GxT^&}Ө~?ڔ=5%_S[MZ߆5F:b0v}J旡Bvq%3By]?Nb4]!+B]sסā{ $7gc7=湯(add T#gYZ7zXZִF! ?]ŗXiɟ1|H5} \]f3ؑ\]Eȭi/a-X| HMg Xn%ۏTzb{ ^=@s`;hW6n+.qG0q/jlUʡ`lA8< "_0ZбgYZ7zXZִF! ,x]ŗXi%;ULmKVl[|ǐ N>G"rNJpwσ䦂lCe:ԯں|C>\BpL_g0ܰ5rJE/ǦoO)Ջ(:WZ@i8bFxnhEbnȆϋimRy~^9[Me0ԤB@\h;M7="&73P97ҕ=cMhkb-CQ3p􎚺a_W̢rleCɻ[RXn.ݲ39st9[87ys 'z ~W{PR2Z":!ql˟$85KC1Pb_nJ]֖6d:gՖv:~ү{PW8ΕnWȽҟʨR~]% N]k6>?kIѢz]Qbm="e.馍Mk,LzGCPhR>?yDsM0q ;*@Lvȉwlj"='z`" ٱA^PyR[Wh NYm(bjsVHd,o5w .ȯ/Dzۯh7 VXKi4;9'-gEMb2 !>Lp|ڏGȢX R,8bPcjIaus{9ӈY;pF?9Y{%罛!5:pQ:WHX٥gYZca958391c66b2ab9c707595d307d049b7a4c7d28f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b 35eaa225201857107e827622fdda13b757fd8deb % HOL-NanoJava