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=8elapsed=5.779cpu=15.601gc=0.576factor=2.707zXZִF! 2]ŗXf[&uݗ>snCNYk#$* J1OI YMT#ݜ@ D<o i%JLf$ꂜ/ݒ$N j CʼzȷNd:l6'^lgmn8Lݸw߷l$ J[[<ᨈs,*~f <%4lHn.0/ l}ZunYV5@ڲ< : 7̈[F[liB-) -JgYZ7zXZִF! y]ŗXiɟC,|XJQWpnz|9"癫;U>dg&?Qhqs\.ťW dn{䆃ЅMEG63]j&Z'TQ@a QkL0?>gYZ7zXZִF! .]ŗXi%>t}rE#}bj2J0qwm['8kR unSC,('N+44zCE$Gf<=cd}|Yx 9'hNGAOug·X$7.cyQ](q\Tƙ)2I5l̀1V^D>RS@% Pie3~N~47e3v.2.T ^TkTk*mqĨW[CT.f.F~AG H⯲ζE_uSi| LC*QO@X ]WVL?c  U\UҎ]+8K!Auu) /|ЈP1m-ݠo>kS=0-mh]X#w.3Q s΀y函$3zGW5ZOƃ?#b7gr#6*/C:f0ۈ3H,XY=,\:HK&Yē(F0ZsMuozsn-F̀cPpj\+),Փw6%<UB*\