SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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   r! < ]% SumSquares:threads=4elapsed=6.265cpu=19.020gc=0.360factor=3.047zXZִF! X]ŗXf[&S PJI"Gw$K"ϿfI,wR6 |"gx(Xd>i#RJMW$po:~]1l|F:$q2qu d]~탮sGZtQ,;xKCn܇#'ŃDTHT@dƲҘ]t/(UJ|[ZI:9oYty* D~+$g+֑.(tzP8SoN\ W+JgYZ7zXZִF! U]ŗXiɟyim_K3vo?iM8ҴZXь~2*,\?|OV߯%@ؗk: qqgYZ7zXZִF! 7]ŗXi%Eb⬞f%lL HģQkEg&hu[U c!sIҝ 7 PSlHhB`#)qvZ|!"tp/V.30OX%Dv=B KIϯBJq q)>\Ҽ{5"}bj ,ݖy J$w.VK 68i{1>Wv-sny`uP~v*ORL8 u\"?o ! , zߎWKJI5C`1Es#.H>Kj$|J}v]@OJ98TYdjƫh$8`bC[SLkO4N]hY֐"I@pTX"+ΕOfhۀĭ&{Jt)lopK5uv$W}dkb   tܑaL A7{]vv[zMG}N-[yu³o (KXyVWtpzG[ٱ, -+mWQhaI$̩f#_O)G4o*QG m02{~32 b$1֝4R3|Me[qTne9# 'JYjBzW2j&ҧZ#E-F{ &_ ΫPQ'| ?Ӗ!Tyvu엾+PBllhuӳO ~g hm(yG0m-e 8$7D|,`~ -L}Kpj2zŻۆ.8'TU˨v';d~CNN&W 1)h !VC$}\V7`. \iOXF6\s¸5 ʟHU 0\$8kGQ$ɺhHBl!'! oHԌ.gYZ80ae459bbceb6f95a3bc13f2aa4eec9636725c5a87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 5cd5e5862c7bf9500dffe2baa45af19637eaf110 9eb98cabd261987872a337a72e13ea3f0bc2900f 11458ae5f8dfef2194168db47e1ddfc68657b7e1  ! SumSquares