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 dd- | ]% Orbit_Stabiliser:threads=2elapsed=11.419cpu=15.288gc=0.660factor=1.347zXZִF! ]ŗXf1-/6vR[$m=ԩ8O@:;M{j:h9P`^CY&HdGR-1PdWSIP,7Sz4#-K81iPn[67@)eѤBsTIHmK50ci?.eG[fΧǣ&u=-K'Q}BXFeλUbuJ/8`b>`25Pdp  gYZ7zXZִF! w]ŗXiɟC,|XJQWpnz|9"癫r5b aӔ\)OV \S6XGHR[u"5ڕ|[10"1oeUmm8S?K2V_ȿ.Jo7((ݿм_E&Zdm 8KV2Y8v Bұ۫P`"ܟp ݖ\X B;\,R)N >q٫^<璌NHoYӵ|n2 Ί䏙GFW{q!b4:SӰDLcRےB{r"8^\ C`I !p`cPl˼* ᒐN<\"PJK>(xdthbO 8$Nu٨ܘXZOvLn. #@-Q2'.?+ 2*3guCIq% 4\@ULPƽt1j (9XY1,DoP{3_u?W&+߽f֐nƦSW-N]E xƘc' -1`|R{kǢ{$*2qGS59ZG+ Ե [8tCokgڷ3 +] u[%8A[􋷾fAn(Bsci1RXjYZA "Yd]