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 y- |l ]% Orbit_Stabiliser:threads=2elapsed=10.681cpu=14.416gc=0.484factor=1.357zXZִF! ]ŗXf1-/6vR[$m=ԩ8O@:;M{j:h9P`^CY&HF0ʥ>e3ʂ!+hsATv)>rtN4 E~ cvZGlԓ|n+nCp)<3$W$~mhˊ÷uLLt*VVgE$Ԧ MG`r(`?_~_42|0dĕеp ?gYZ7zXZִF! w]ŗXiɟC,|XJQWpnz|9"癫;3IWfHOZjވ9} :fd?4-. jB:@eݴgYZ7zXZִF! A]ŗXi%90ùjD;`mKWvkr]̕ Ml%J0 !&:[A]?DPf^Ө):o0R nh;HUQZiWHo2m:ottw;k2OHis \?:Ì~;AJ"6SPeyvo+(uh~(7yr c> ȶ{[d⠇ -kCwe`Q3vvc%=DvU7A'~;sԕ>s)<k?xXJKwtEJEWNvT!|B !(HvnƟ|5U:ÃArVc|3}Pc&aŃF^B˚!qXؾpz*Ѳ iĢ$j ؋c !G?v0C83~tN3HB6oI熦2&!"Hi%n+  ăkEIOgYZ15a1c4af051091049ba5f760303ac00caca0e5acee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 9dcadd0ee8dd62844cfd6ce52dab61c71fcfc0fa 3b04ca43da1e5aaaf875b679703967747f534b02 2524fef4370ef159469778d2ae89dd9eac2a6b82 - Orbit_Stabiliser