SQLite format 3@ . BBh77otableisabelle_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 n TDD ]/ Tutorial:threads=2elapsed=34.733cpu=62.452gc=8.380factor=1.807zXZִF! a]ŗXf1-"oވ? VòSE{ l› M;CXf6" nf5^i'9jb $njG ^wxpH@R{H .Xڠ"/Wdx@ "K`US"|ƀz$ 1wiY=߻sǷZ-t#$njKNM-$ |L@(=qa ELD!ۤ 8/:o8% AQ(<4<ٲf$aXJ l[!@C_o`W+cGE;85b7y{~   Tutorial$kX;,;<%N(_I6恒Ӛ UnH[2A5Hs93KäPb~ %Oph@LZ+cą:`e0g~; j,%垜 ոqH[ ZX v܅IɖD>k_F#c<,s!Dfډjä ҽfRwϳEȲmczC-UF!rYJ|^hF١gSKT硷\G`fO:hHލ7L23~p*f><nnF'H7Dž\"%͏l՘҄:t%,nV ڽ59׋DĩOTL}e4[VIGUhd[H)u{~1S!5]rbBNYu ,Չ4¢H5ާt+ʡHRZA6qxtaWs'Z&[p GFR:+؍m4~wke@N[޺!#ZjM1rH`!JpIᅌ` YrvP{\8g;cRv5xGat;68 u[Otj0%zغW3+{%&#WXa9}YnߤEHe"E-krTHC a3׾6p䞺f|%NP@zF8%!/ӎ'u|#/ /,d(Jp#jn^(ف½6%sIhAy9\.Kb:jprz* pRAʁ2NTQʭܗ C* 57**ҹ~8G//G"ӧL#ކh7LQc^NQE#VH9"E>WrwMI#p53r8`Fm*<:lC>zEյ ~XռU`؜qcˆe/J2?K&=eV-uXd[^^{rh1t,:0-KG@ J;좫@ }εl$?K5!/~tь}@wHYR`ɵϷ1PQ{pxs2 ӻ]}2BlE> ΌλRɆpshK'k zOȚT8wo0}"6RuK.~ʖp]\7x<7(h=F gWڷ2\<c}8F#Ik%4c#%^,SDS{=-ad2NcT $M> E)<~PI_£i9MߚD1)KՠؤQ1/ Fn \c=war-o8Sd["xYy^Gu4l`3o7?HI"o#azS#aJKz pK w.n)O%ʉ $zy # rNHI^KlA6'w#xP