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 F! <4$ ]% SumSquares:threads=4elapsed=4.940cpu=14.296gc=0.172factor=2.897zXZִF! ]ŗXf[&S PJI"Gw$K"ϿfI,wO!ZO/uF^"+snzĸ$BHEUw8;Rl7ljOK|!Fmݴ0ϙell<%`$%ޘ ֘kjV-.Eo9'K[948QGUϾ HgYZ7zXZִF! T]ŗXiɟyim_K3vo?iM8ҴZXsڴ;!}`*F~*RT:F$p-igYZ7zXZִF! 2  ]ŗXi%ES3LJTUD-nM4#bpr:)ˤY6T M'hlC5,\3h%#q2J+c?!M_lWNYk?wm x zaY I/ag¦OG$RYǷYZ=t˰ ^=4;QY Bj9%_ ~Pf!Cgv9P4Ӌu\uex~#@EfҵA/ & _5iۆbҗsxgd$:N0cޤ)Eʶ%T?.OwZCtX홻u~ulZ0V #fYp7%?93kHYq#?#4%+Z  LԬBP咹NKVl z!#WES|?Dd$lɎ(D{>C}^׹u@o D>\Fyo溆d,"RNS s*`$EjA:jd*$ R`t8cG ݯCu3oOF).mrJݹJ$jʣV; d)@~C9_&ux_0[xl[ŇhЖy~9cn}چomTGk_WLDş@a|:t.%mīeʋlG kgjܪXɱ OD >nt`Z,yN}",(&BC.( P GCeQL/Rx >u6I5:qMD9a x ! 2 uiD x 5ZN^R}!w|dk2DgYZb4f0e39e692859b156d89774f51986440bb7a58e76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 f6058b8b17c98ebd707ef216357bee44fcaa8403 ac9adae6b4816d95ffdc9337109dbec3aa8b2fac 2c42f1369fdf9c9f3927177775e5abdf366fd719  ! SumSquares