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 ??2! < % SumSquares:threads=2elapsed=9.101cpu=16.328gc=0.264factor=1.797zXZִF! D]ŗXf1-/6vR[]৞B}.T ؙ0.n={4ޜ@=KÍ Y7SܱoUU +5~<7JUG#bznѮ{CNj5Y`@6m Fd4s0ث?ǻ;B(▯V ]0YQ5(NU/wϔ-2nv .p~“Wv}wuo$:h dW35]&&H+ 4n9gqr֋hPl:MkI6ϏfG%IVFg!#)?w V#)2ZVwZ$m@ŜU}~{MgCyeo  ! SumSquaresa>]<-=E/#tk9(:~GrfO&PJM7aDWGeUb!yB^`dS1==J$61Qٞ.[y~?iW&YQ&:%OIڀN֍ZvMfk #CO6ge*;=!Eh8[`@4Uy qCu\SmOI[x/%9k,Ty3!zW)"k~%,YFq1ٿ%9d9QoYݻcWUb j,3ک! gf('^ĉAq^TlVmvfEs`L X#k''WBX}Y[7ښkۤr9ɣnz@>dakؿ u^;7o3Z pc)(A>U< ;5BY@7-gd=p…yN1.*N;s8kM;PLyoN3sr'^k'xP uf7bu3F iiBs\MENPF}\i+IA e{g[y*NK?&N-x/ >xjW$aY*iXL+eiJo' )olgYZ7zXZִF! 5]ŗXi%DQr^湿@#lL(WpŒ5t =Y/9CCp.Wu, ti0GAlI'+L-a3ױ[=o°r6-WS* z xlz}&raثFw)Ŏ6wVK$}1 = wTN@ I¯/$(=NͅVpLҴ \3Rϱ]5P\2Z2FecޓJc+" 9{}@ M?{`7W҄ٳ"^j#Oޝ'W GOOdK9;U%p/'_Z%Y(oC4Krv( z\]5[z[P| ?a㶰eu '|/EFhۃܱ@e;/1׵G&y3.ͺ)SW h(\ =T,mBOz2b + La"%~ul@Pp;)ty(ƌȳ H^H;EXҳNMK,꼄B9AvǪk(aX:*ի\jK