SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 A! Dt %% SumSquares:threads=2elapsed=9.607cpu=17.336gc=0.296factor=1.807zXZִF! P]ŗXf1-/6vR[]৞B}vȣ5"i%޻x x] % zRC걧-lomKr9 92dObh_ 2:Q99v+Djé+f{7kf(׫ڸ3P,ቁەeP;{}r:;R[ʝ|دme;[^W7\m2HLt>> e#oH%\/֑WN̋m/'.a"fiTEV9ggYZ7zXZִF! 8G]ŗXi%6y4yJXI}R*n"u;%<]/ eӺ^FUWe3SlA:ֱYAfuM-#pgxBd ͗Z? (fZd`I64~Hm̦s&X[ɑXi1/n8owkI>Ja%A2O Mܗ~KcyWí%("_!(F50ն8bhd(u,ռ4S~iZۥo;ݭt?gW{'yO!}j7HV~fۥfD,jyBTTDؔ  l>lm0˴ϷMhp;\, ETZ-cl/0m^<EGs˒)v1yq`0I(3g$/ oƭ357EnB%T"gF ZcDe1L>2sW'[ejéskA"kX #b~ɡ!,4 ؓAՇqf\C6#4\HÈpٟgYZ349b7b51fb3b595a40c187c8888da5bce4d6835c 88ceb01926195eb995ac657022db09310c31c47b 8a3d41c3963e3d7b9d55014170ba399d2f4074b7 9f1458bc860499132e79988e26c9213701f91aaf d23451b2fc95e68df3aee5f50c02a2a8c976d841554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a 53bcce29f11bda0dc2e3c838c6b02e9af38c28dd  ! SumSquares