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 pp - l|, ]% Orbit_Stabiliser:threads=2elapsed=11.109cpu=14.960gc=0.564factor=1.357zXZִF! ]ŗXf1-/6vR[$m=ԩ8O@:;M{j:h9P`^CY&HG/u%lCPb岮cԕv"Que L!2v6k#z\!F!HJ@Pu}4`zax4GyIDgS\Gh&*ECtQaѵ^CNү/*7S;)$X 9YIgYZ7zXZִF! w]ŗXiɟC,|XJQWpnz|9"癫:FXv}Ƅqd z8EA2.0 m8kXOç(|z{2sfL+X*ݴgYZ7zXZִF! D ]ŗXi%;iuBoRݘPmé7J-i"#ե16T?#K!\2hLu>(ݫ.\\nEX &d3ql1i% :womKgWʔ"&$>bhC.B7:Է}5aF9`r,-Gպ6y<5l)&"bgp)eq P*k%B̂mED/G+E&d2qlօfLa/ IRoHPspYD闢FM+]e'kq*lc"R hISUR<*oYBp.lFl;ٷ+;nn8LEl@u9~g)ޓ;~G:BgYZ7d4ce45b1253230bacb46aca59775bbde0c81920273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 c476bdebca2f60c33824d5374c70fabe6f4ba221 50a806e8d89fb16262a8cafc0254e03764090dd5 70ec1ccb2a7157010a02b5e042066e560a6878ce - Orbit_Stabiliser