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  =\| ]S IOA-ABP:threads=2elapsed=5.242cpu=9.420gc=0.284factor=1.807zXZִF! j]ŗXf1-qN50^%6977{I? 7^9GPUp;nI8kԝ09 2A$.4!=zٵU橢ֽYyUĈ(R7y$zCC$)G ~TqkA rڀV\Ճ8UShMl$翷o5$=ðB}*RQ!W[_Sa:`?%MVŔopb}gYZ7zXZִF! 7]ŗXiɟdN;RfBۅQEPg+fVLU=~Y [Q_323Ir육7W/6ϰbUcR4w;U6|+G%˽/oOkQ؛oXAPRO s??/'Q}Sdto^sAe`ekfq3}͟ݠdqA<: gYZ7zXZִF! v]ŗXi%;iVjBAᵃf+iO"vx$_K$cVk0,LY䓨c`F0R- tu%.~:1diU_LxYSe3Xzfgu׉^xcJ,Lsv#GPN6Gxrdlf5[ʁy}[ѐx] ^3[k#x5Wrr7콋wUϵʯ&[kR-jiC"J|s/+] !!@,$_M#ޒB;/-6Y߱T5}; )"cg+Vf}`$7c!HEV,38MWkrbKӷ1<ciS%&;UN KRjc41Agp$|sw[[|Ypb `vŘ퍳tUrf0-:\ }&ӣ0?jjDRaew♀L?KW>uVm2.xE:ki.?Gz7ge]Fl˽Zzg# f'i ǕRc93! gYZ14141e84b8fd568f85a8618ac38f7d09e36f036c634a34b0a78430c8365c904b4a02a2bae50a7baa da3f4711496f4ebba63bd289462f3fdd0cd836c3 2ec0a94b3cb0e3e484d20cf2e7a52a70d368dd55 1a71bd6219673b2d76bc0bad170e2b1e60f3bd3b   IOA-ABP