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 @@1) $ m/ Pop_Refinement:threads=2elapsed=9.217cpu=17.084gc=0.704factor=1.857zXZִF! 8W]ŗXf1-/6vR[2y6ܫ: AJQtfMuG&[W҈8>pHnߞ _)cjR=\OO{}n83N J'5rW?j-e 3!Jhʽ,  AWF08.ML `WcY0D\=pD4~`hӆEu‰a wzSҹ@gDB{|?>=xKGcsl ڧ#6W$5*C^m띾jj\ cX5z/:U^ensSqJh`.4m2C F_FnV3ASq(8pB_ :$*!'- ErC̈y$;=BRͅ_RW)<ԑ=+M}_95X^ ͻR`/k1j -Dr~Y~_{"vt65h^ IH H:ݘ jH4٪ ~:lbU* ) Pop_RefinementlܛY|Ĩ=myg%[j"-u[OL>la&R1`2FLô7V6֫4;V6!(̟Ax<'הF&$*1:_̙a4$7#[5$BΒh\spM|6;:{˟=1帥^o_X۩_xu- xԢKi0 f[\\t`bQ+?#5ZN ;Vۊ/J"'yh/x>#d@}UP\(;*t",8\J9+J/St״tL\'+^PF e#SusB SXdh2;H^EBqY1olL`[rĢT5Wt"QOM*^B DjU:\(AM-~XtO{B#(&~Ni$;Cl^X-p3uXbT"ZR_|c_k&lz+K+cΛ<;_@Io}QIJG`eVot,La.vWkMiIz(^y^wa {izIK7wi1?.^6ռBBk/