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 cc! l % SumSquares:threads=2elapsed=8.858cpu=16.200gc=0.284factor=1.837zXZִF! B]ŗXf1-/6vR[]৞B}vȣ5"i%޻x x] % zRC|NA4ʭ> w~ԇ2Gn 66L#&vbs[>Q̱JkCo9gR=_.\*9U:нY:q uǕy5Նj9h) ॎSkb,VsnU(o lvN0OH1S*xTR`2f6=([i_)Lꢩ'UaLO7J!P}/WY6zM~Z?:PF`Li@n%hApJQ'  n6]P[ж tў1?⶟ľӯ$0*BIcJ츯%5K]\A`l ΥbxT O-ʉu!ld<].ՉnruE)h~TH.,} W;cSq\U"Mkflh  ! SumSquaresc"bwa!bm=dȤ gk9{:.@0*C泼3%R|Y0J 2p3lܲI}6WV6`Ƃ=%)éigPސɱ^L=- >[鏤Z ݣ)=&r{aFt6uji}"44AqQ*fN]68WS=FE6[pF>:'d.' m#p:`jCKd0M?B13p.;Z18.joL#8#pCNհ9~0}LRkJE-.dN % K׷ G-z+M5Rb<) q0`9 L V"smi.nIvg;s5WKn Xwht !o󡏥yqɟ#dIS} -\sq @+Z.A4)kOU&,SA%N 9j s;3=\[уcwv1 oc"/&<|x 7Ӵ%/qjիPp:6NHw\ /ٙ[Yf%R"_L| yL*gʻNY A'Q9 Nérf^kw e+M\I"Ȕ2IJ|9ٜsnh օMgYZ7zXZִF! 3]ŗXi%>n*C"a> ŏEkh>2nUDT)8œ0 RzQo_IsHͼ_3QR|Nƹ[,f="ft- L-9_o$nX ![bhyyQ*Gvկ#"sm3W͘NDC4pvЯSN64UE.l4G/fh2cjlKB?NK`$3g̙zG \hڋBJ1E{M5o'j#Qө@ȒcBu?FAFcw%+~ 9"< q+},E^PmEHI