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   ]- 4| ]% Orbit_Stabiliser:threads=2elapsed=12.306cpu=16.488gc=0.596factor=1.347zXZִF! ]ŗXf1-/6vR[$m=ԩ8O@:;M{j:h9P`^CY&Hc٨.rXf-6/]շetZ0xXF\t 3[6i¤LmnE82ُġN\Jqt +B=mO|UtL5\ʱBd5V3Vw^?ёP  4]wGvWH8d#\`  ^ \gYZ7zXZִF! v]ŗXiɟC,|XJQWpnz|9"癫=8!IrؗM ׇ2\hy"5q<fS^&ύ/.bP*V 贱gYZ7zXZִF! J;]ŗXi%;Ck3X6  P"dmNW(l9sxQդ[osHUR''H&دS%;b!J'ۍ*~!Լ Xd v!;^~v7Lt0'b*s枔$q7 9%G;6N\)tI4DА;2Q{kIsWK m_L&sy8(n0=$CGeCGknφ7:~$rgɫON__M7$\DŽ8+L"b<\}PGO󥾜f_7>`I |9-Sg25nvɫh! g?3!`JE)O}f5/B\yt{yn^@}bh.4A&Xx2Ճ'+ދP:fz8Db͂_(󠻬-ܠ}EWo!EB=$gi.PSRac΂M öI<V .4".SHᅓt'G{(r?^u8 䂁&> V٦Y7url}Bk1m)BJB}cMNÁҲ\pLvC^+IuH^EdVlc|*P|5tDgDդ`&,:{]Nb{\+ޣ^s-pĦ*`1 6(Վ1=#qg9Bܜ & #_QQ&ŕ >["׵~9g$[_h.4WXyx&ŋIuܒi6FBS290؛QeWg W K 86,"d 4=Z?C|T5j0 VO#Ub)X5 {,wj "Y4k0r[+!W|\/vok,8o-k6D.T<0maαgYZb70e26af58843105078829cd759e7c158fec268fa70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9c 29066bbb6c0c7c2c679932f2b0481b82d7d2665c 140d3ec7db6db4c0c019e49bc53137586a59f617 - Orbit_Stabiliser