SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 : ,D ]]]ZF:threads=6elapsed=12.637cpu=45.732gc=3.556factor=3.627zXZִF! P]ŗXf1-) enȈA$jB80l,v8-qFN}z1٥G_ck~yܾ.j}_95e_~kkB7[}xpރT|e {KxWCBJlDƾY #&Xl7Q缯ғK8,fՌxBKDd}9N h!h}Џh`,b"4BVy6F9E?K B1M&^0X UjL [&lMG"i͕Z@ǗTZWoS' !GEIo!ur$P%Hv4ij׫~~c^OCR_q=߰q) .p i0): UR"/˕O-ʡv%aZ+UB,<aYtTHq 1~uIj'9_ـ]SCU͐$qE1Lh.`].pVG4}רHFH$t@AXFT/gYZ7zXZִF! A]ŗXiɟ 1FE`穵+4]NM(C= cAb˟ 8ַ,[ >pQ*@sy>#K Aӭ1$ ^RU]Pя̜ as1S/qʫ׏|Gc󰑡zl3uNtA0S=5,@sJepɎ`t\uyuryt,ϏwB<1)k\h_z.sjǷ;1 Tp̷XQ"4σJ?-K=PɎ;`7:/Nز'A$U/Jg}kw ]>d ͆?"۠ܽTWZrfm|s*ojb\b'슷9}2lP "gYZ7zXZִF! >]ŗXi%> 8VIl9C,6RWa M#"~SbA4U [_d5s ~^^9v/# G ˟]AS69[OoyWXF4i"#rKz@Гj*{\>gX,p~Z7G״q^aƧȦf@OW@oXi>Yjĭ< 0!}MBPWW4e -"nP;C{ |?@:B.* f?u$}Cϲ7qNZ,[T&W#f@NܐRܞ}jBrӚ,R