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 ' <$ I Stream-Fusion:threads=2elapsed=9.918cpu=13.548gc=0.492factor=1.377zXZִF! 1]ŗXf1-qN ~m{4vW||MXɷ-ֹ{"|w |D?G?_ SFV ,٦@]?ũ=!UHF qF"~mL-/[}nbػ:LsIFLO_4DrD'-sO&?Z]y_F,c_֧@EXe&Cl'7Re혲sW74;\⚧jD>i[PiS;ͶO Hli2t:VGHTCxhxW@՟) EeߛUn쥬7$} I,?uLR^0%9_)irӴ* A^}[q=4M.9:×nM_MGDpm?O}zAVQ+am%t~p(Qô|N5e_Ih+msnUa:Q9;dc>uCgYZ7zXZִF! 7]ŗXi%zx//fhHVP74Q>8`;*:E,"~hHj݁zpr )sBiTj2={(~C yjlv4 3Rm[|ZEUGXFCr 0' zIΓnr=DlkT!lI) ;Y5yS}GE4$38~Ƽ#[6CqlJ ¿kJ0u{QZx UMzGT`Il84#7&-\ug܍U&C LԖT*(%: 6sM@j;/Rq !DRgG|HFxg0wOĄذ6LljM P挨RQ\J+X dGa9%o7_t$Öv=жċB!Ó)V#Ohb=)QpcҋqWRY2wOb$Œ\ȗfoC䷃W(8J9{w,3 ha]3 wg-ȩl7JZSF囹Bܟ4 bpqKs,-!M Ko#'+2}]ebM;D nѰ X