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  4  Category2:threads=2elapsed=18.986cpu=35.428gc=2.400factor=1.877zXZִF!   Category2 s ]ŗXf1-q恉 :NCG 8vۗ?xWfkq6gtʆcEbΏGd^=<a<.˳+r5 [R~ΫѾ7U'U߃ܳ] [_ѐ<Ͱvፊ)z2rRnCXh5jtQ)O2?˟>r[/>+}MR!v"ib%7kp/ 1"甉;f>ܞ#!66ٰV[2JϨW'OH号9.~Kq@Gț4Ǖ\_(@;LW{v4lS- lv/^SdG X,&hǜ:k^^!{ņMEZ쎣)O ^ᬎ';?_2,ɞ|Uƨq=In,#xKRqo|Fbv6o@e72`KUl[^'*Lص,ۍ/{h,7hOm۽23ulґiqTQ8#ڇ[OC&@(9%qH4紿W&LopEg Nt4UBT}سJds؄峫&T#4JjEv~F~d:|2\i036^1<L 1|vBҡaMJ*6$֧VoEaQ/oOUxWE9ݕLTkE4U!6gde`/#I?N1u>AȬu咽%2r U̯Ͼyɒ1r7v򧲶\*,ag= l73P9,=a:Fdc>?JZ;<__UU '͂M{-$ q(|ψ8#5vg5kt{M6_GT>m߯EWJv ̨a(υ/Y(fAaxUї 3#ޖFڕ,`}KBwlxL}RN7Y{m72l<.}.n:>I