SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 j+ t ]]Sqrt_Babylonian:threads=2elapsed=14.734cpu=23.888gc=0.704factor=1.627zXZִF! G]ŗXf1-/6vR[]9҄պԗzX{olD Ky+ˠ-yRRIa(/Y/s!b[}.1@k iŝSP'MP9|Tnz#/!…874D5;sk~*B*lԜg\"_Qq+k"} ޏeaR1bD tLA8Ofnƌ.LT} `gYZ7zXZִF! O]ŗXiɟ'l2ti0a 1(VBC?d`e2ky~SօRʤ5M9ajF]VZ1w2h 1gYZ7zXZִF! [o]ŗXi%>g`AjPoSjZjjt0CpvW:4ɪ-Ҩ0+E^mͶ)[Uۃi8 zr VQUd{)( q]HJ1~zhy_`PtkwaxJ;m U}G6W= e<&@Mj0o^T+wtdy!T[_Z}s>|*` 7/56f'@ R4(WYК9$2x RDsR%MkS듢 ΝebJK4Vt0$t%bcZҒ0<~wٞeVmǺi@̾7Q}92@b6TXpP; 鎻"Z /y^ᒥ:׺ "'9Q>uȡ0],F[PgSG-R??Z{5ԽgK~}-]:5J[Tz%|[q*=:0NZRϺD O(S{%%z=@0* -YADB`tRa)*w4I݊&ʮt\k$~av(n %2Sdx//A07tp$JD0Wh՗˛)T񕐔^xcCAqźaf.*#x>>|/l+: I'e {n.ImCxʘ4_F뜙ne$e @+YJޜV{9<7]ܨV!8i_T2\r 65$$UAyr{9sOY|z70^mUkEO4DhF}%j^Av-dlET(2m9==ANv}ZΤܖt9͜A#+b S#pվ0xN~s+_X lJtI(QrhxC۵ į, giyYd gYZ349023bf70f91bdfe2a1e470139eeff22ad95ca4a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 87c1a6936225b83c12473f74f6cdff18b3fd694e5f653b57b690db820cc0a6ad0235449c636038ff + Sqrt_Babylonian