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   DT, ] IMAP-CRDT:threads=2elapsed=24.529cpu=40.800gc=1.820factor=1.667zXZִF! 5]ŗXf1-/6vRZ- VG{? uaԌ<[_ݛ )sBp#mJMIoc粗܈34K|p&$ q,4߉|f陵i.?ώcW 0~D&"-eQB|_x~cfN=Ycas|/S: mE{;)wjJrx}8_36Ε.h͙oL*؇k䗘avQD^ybg䇟Ⱥh쵋# l*}K{c^H>ǁd0ظO}^f.ᤫy>nz.o<jĖra";"\!ƪf.> IIJ#Sij҃pA^W n:hF0] ~KܾP僷!Q,MyHjF<^NIXTp(=RS:|HIQ|낙D_">̂! B4!^%4M6CPDӢf0}q3 9rmHyv8Pә&c_k_S&@p#aqH*DZ )4WGQ%^R F2 TN,[pĨW ȰBLmsfFdDWL]ߺA?w;|NT$-GCSG&ӠT>xL5D!a›4ct Q|c&ōkRHV27靛PO=oxW1d*Vv@m\"MK \&[?1a 1GmޚI 4FnII@Ҥޑ,lMˑ}#1^me_/6(wd^d,OZxA)^"=;'!Hd?A@Ujة/s{Qk!k/0!1IkqbE]K1n,H3!lg"`NtsFM`JdKǟw =̠iݯO\pYgB@k58%xQIƯ5wSpE*S ࢅwfDPhq}M2oe ?}/(oF&ZиgÃGs,>Qk@ o|R9T䱛h?Hs~O$ {ʁ~ H,G)7הpZT ^!q_:'aIْ?.AXqyelc]JRBV'?\F>He.$BcuGR0VƓC-V@&^HKű֭p' AjuKHsf 2'/!Vc.8b?T䍴x1n17>c&ɄxۊF0}P1($Н&&^8 [ʢY{:b@6f0ԕe?'02Z <2FP5˽g'A'׉5֚gX䲄}ù؃㒭 .[bN  w8 jW,+-1"KP>9$RX+jZq a}>sQ0AH5J+[g^AN|̄&eyPb>By+0