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 ! l4 ]% SumSquares:threads=2elapsed=8.455cpu=14.592gc=0.344factor=1.737zXZִF! "]ŗXf1-/6vR[]৞B}vȣ5"i%޻x}_};N\g 8cY5T71L,c)'ׅC/cBM8pIcuIr }j^9W?r4ܰtou5Z!e2|ZUMY)Of"xд'6% /#-ZGC "ֱgYZ7zXZִF! T]ŗXiɟyim_K3vo?iM8ҴZX;2(TY&mfv-Jň߉~ڻ]à;Ip-igYZ7zXZִF! 9]ŗXi%>gaEZ]?#EqnRׄ:s%H.dbCAplEwg'3%["ȅt5a.9N!U[{#A+MaIG2|aIOOJF 9&Z_B|6v亏 Q_y𯈸T\y~ s9A[PZ ͢4|yHaO?l`\u(8ߛ3w*bu럜Q5TcC-[W{2f5|mt͖^XXLK "lI.)=sne{]a;ZҙSjUl_&7:EAab5 !^3 &pH5~LˀrJ}x =w zK/ ?bGŜxK!O>O.."{9sB#Ь j"Co 1m5м2EpApLc|%s$v(gYZd5256550a8872693789eeef3eecfd11c8ba5c43aa70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff 0c0002d06a43d865ea35d288a2517f41fd0b0c63 3460ceb4c1444dafb0e12baadf26946d42d1a573  ! SumSquares