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 : td ]/ Tutorial:threads=2elapsed=28.967cpu=54.924gc=6.828factor=1.907zXZִF!  ]ŗXf1-"oވ? VòSE{ l› M;CX:T OVx ]v[ͧL*[̆-O=yvpO :Vb4.22wOC0+c@2NHM vEN&OcM.{Kv(ЇpU|!o0b&I06L}X:PO zI@ + Xɝo;j@ys,HZAcu09.jNsH)bUEea*u wd ~2M+>Lgm XPN:=Xߛڱ& _2/:rܡЯpQ"\t#~()йR׈t7O*1{7<v tՌ- 'cIԾw)x=VKba-}xCN-Y`wi>Ƭpf DWKxH^9f9:sc5M)QJ0ҔOЊMˏEاz&p$HgYZ7zXZִF! ;]ŗXiɟrj#>׋DĩOTL}e4[VIG!ƦUWG}U>U[]P sj Os3(M50#ijwat΃@AOb CU/,7oԳY"MFJ/H### ]̹fs4cMvQMk6'wLeP஫oR";t\9.Q:tW˃y09A;FTB ʮzTH &׿ ?hx$Jm`w1hxT&u40ށBU+V;ݐnU7ҵ,Xy+F8 JA"*Pq,JSCU~n^3V5"27 gYZ7zXZִF! z]ŗXi%;P.gmPdGљ.= qVݰle:" ^N= ?qD4) g[?\S#ʈٓHiȾ'oqm/ Ε 7aM_;woUE"^w#ݗ^YbONiۏoe L=oD, "IC?O cFeT2{kS( B3ؓ a/@caO2ɞZHoJ32Jy*+Pp|l[['TvwҊpH32H4.Wu>mL|v˘xۙ TO 5 $9G(h꣮_[V `(9!հS͎-__R}&~kQs|+^>f"Ǩek5P5WD~<%[$IG(-Pch-G~U酋,eqq;H0(#MbGLnB/aP4]_LC4N?Q%v{"aqw^B̋+~XΠ0 ff wmu/Nw;|N~KixjR"3xR.g 3gqcXYtR(V#φ T uezӃf,ʡ, <_06MO$MJb@?aly^@Gؼ"^@s|9MM [Khd˔\7t*"E2K3M 20=E F~vqU 9bRp}`nk, P*@Nx笉 7[IGJMq[Zpp" "#պbSL~Cs` ,;;=s< vl{n0dT6v&4E^RX[.'3g^6:Hi@mFV#,;(Zbtw*#c8ݾ,6uE9X&hn.:@ Q j\l^&.Cߒ׎ogshkю^,_;eL2P8Qڳ?1,yt- hr ގ[Pk/-z JɕI3BaBjenMfNghӄ2 => @~BNz8 R;|md^?hGP<$ڋB']-r8m'7-FA[Q(]:RwKB`\)=WOtʟe.!:IŽrZ/ 7`nLppi,sԁ A"1%^بtǚ4/O]z8'ջ <zᝌ@L,z@Zȵ5#⟂¢YK%gYZ0d4470ee6baf4fc9cc5b114b131ff036576e078f4b2e4ef84f2f7c72f1d619e9e1af08455389b338 22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0   Tutorial