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   k d<< ]/ ZF-ex:threads=2elapsed=11.043cpu=16.228gc=0.552factor=1.477zXZִF! ]ŗXf1-W(TUK`NDdQڛwA gN] (ɫbפj,bKg5qÑ'*\H %ebQ/}c *4` Z| 97%;dK0}`0^q @NOvkWPu(lxX,s9 nu25}(%kj0Gr{qogYZ7zXZִF! ]ŗXiɟ9)u%Sᝎհ{.]\ی˵a0eNhqNtw^, >MePz6P9/QXXnzvύfS&{J̴[+:s4j˯/ffE,#ڰUQ֞D͇}2t&Qԥihۥ&;-7[}A]gYZ7zXZִF! 5]ŗXi%;iWʉ"GGQwn<=b',B-F;Zbx0i_1YId~eԽ}δ+WK fa6T o 3y  8Q- 1>D&#k4$Fs<@z]SE4@6VC%I-K{(̲{qxZ@ tNET]vk6ج']Edr΋pd }UJݯǷ,in?A=´N&5M8IӰzQ™CnՐP>8l!#jH6W&-9I%uput\.Ɏ- UMu2d8B&UٗbAq) 8)_wi%.e#rJizd"H 2͌i[a|*Iw(#s$Rp!M-VGg0?q-aUH6lMR6xjt@xfqňR>[W0Rb~麔LM.)Yf%|w8H.W0S 8ћv~"V/{tVgٿ7Xp; Ze˚wӖp]@ޱ>>T75CR8C*!Aqk)ڿ *+Ll%/|D 0z}qmz~{1CËS?zPQ'TwertF}tD&Sw 2~;0)R%A74e!Et*nYc7J;&u=#lQ@zd3= ލ2