SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 J1 \ ! Separation_Algebra:threads=2elapsed=19.952cpu=33.260gc=1.564factor=1.677zXZִF! h]ŗXf1-/6vR[]]uRlindBkTi 3A \A~z[U˗|2N~`z~&ծQ6K}KZdA6ӈCV$MkB؟{nGjUR՘+UQ6d;%ν Ḫu.FH]4 8A d"߰j(VҤ_aG.*"n _I$Ɨ gY XT4Å勻3XtYǃ/{*#)0x^'%u AEϷD|4M5e)6UmFN5\?L 6 %Vt֓R@ нg r/Y޴xX&?K99b:K!? *>oecO/:u[O X'z V~C ytй"(jn8 PnI 4z[?/|7*}cap58L,G<,B,hLE/TQ*ggK쌜fBzFj*@X|DD>8dxпߴ͎&9qU[*B2S@z~K%GvgYZ7zXZִF! gz]ŗXi%6nXޞ>Uе Sg҂Jz“՛.eaaW /2]XQQ,D46SGT}ZSx쥤X@ΆX/¤_^hJR}l6>i]Uj}O}]Kd6<)ϫo ӺeJcT<(Ce`נ.!3+}9:Մ9g㏒I/DtCrEz,JAB|b/8056j-o9* `C .\)/=*KNi m8xfY/tw)ͽu8aM|$[ZY#'Uy)MFWn9sON(%vs$+iQ({QM˦]܇X6Hhҟ μ aMt]EKRmntWMb̅$> //˂[=BEbF+;1r|02m.ލNޥ x}M >lҖ,D*{/IG#lJ%8Ed}Bo 8#31t !SYZدfԹuFW=x%4*v:^ N cC~&GX⏺D'jH\|HPJR@pGW! #wJ0=5i Ub(k?Q~?NVm.(m1(& rl t5^Ģ 2 3\,< K 4qmbg_Ckͺ`G@1iҜZ:_=siP9i`!֓kZSUmd:l9ff2;sYgYȕȣ9Zr"0}Tk@M#  7{xIl CяQ#dSrU"ki]{z(&E3\tʉwx