SQLite format 3@ - llB77#tableisabelle_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, "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=2elapsed=9.795cpu=17.252gc=0.232factor=1.767zXZִF! IWC]ŗXf1-/6vR[]৞B}vȣ5"i%޻x x] % zRC|L"t$]l 0N9.HXT~< GCѡ=d?m_bc2Y1hig>׭RPX.ڔ5xgJR BwC^Q8v2SjO}FٌpE4Ruj8O36-Fܭ_}`+ okQ``o\%V.}߻Xl۳, kPvٮ%x|؃Ϟ Kpŵ#zI9B3=H.,":B4 "4?'`<.k: eCOh@C*;IKupi*?bmb?+-TMS;o) @WSy0>+8?Ug݉(`G}y_ݣ/!,OЀɾS^;$=pV"ԤRȡsHP@#dhAՕr]kzfD+%+ @H8֟!$5ZXUQFELBeՂ?Hc&caϔcj.2AFmSh   ! SumSquaresf <:+<ة"VR#%9,$$Iޞ== '3O6* v2 ~A)De^wd8@h׬&DeF1x"D:7T,u]{ ]֣ԅfR\QnYcdT-|iq(Rw\HXjxXS) XrBT(W=Q714GL twԐ)8z)v9x>Af+ԺD;R.y۔4vrTmiqTe6kYX8i[dde7cyƔX.Ӄ%q;CUkeq~S0mǃjMK*hUqVJfEV30"ž>( L+:x!eÂGAy_ |3[2C~I#m( Z_A5Sg|búqZ$XLh.١Pikߞ|!:]+i3fˬ HZ槧OLy[ڰi?*a bVEY[tF{R1pU =Wc$Nr زLAzR8~JrӰD !6;Uʹ6w_t ؒ/ngYZ7zXZִF! :]ŗXi%HO %r`TpD/"I*!4(qZA ?c+5kt'\v\7cI+OyJTgRcsIrx,> nMK ~{aFՑ њsb$IAj%dz?U2a8yЏ?A&%t#njdj!F(18I DLz,(I ^cc\{hZNF4:yϊ q)~iX*,u|bys|j #,mdg @$G *dE WXR s Жnb>PaqflK%(]ןifӈ#¦]KVR$hN$sZYDu"mHgYZ0a9b1618e646e6f097e066a048a6c6ea5e8de211 349b7b51fb3b595a40c187c8888da5bce4d6835c 88ceb01926195eb995ac657022db09310c31c47b 9f1458bc860499132e79988e26c9213701f91aaf d23451b2fc95e68df3aee5f50c02a2a8c976d8418c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 9b5e7c504e935a87eae2871aa9a83661e530b52c