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 39 < w Card_Number_Partitions:threads=2elapsed=5.635cpu=10.968gc=0.168factor=1.957zXZִF! 9U]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}S1GMȎ{j1#t=a'f|b|綻uәxxv){ >_WitíwK\ !MN]S0iquKs"V x] Ko[Sa@s1~]5X$*QbYxByjhGc~Rc+5BJ|/Ik }"'1˿Cq4Q*H4 шN5qi+?iA0RuϢpn:۔AY#]܆2\@ťTCvM+fx;+A T֦71q" ҷ?Ml|^<Ӳr/$ vX)H>JoCմH_П#W:FD?P^}T} ϙ{P7Ԙ@jٌăg#OpqTZ>#IG#n0*hUB2O~iGXrt)/Ѝ,Z]S׬WܖȌ{ hi)Gܸ 0c'M`twcL$BT R.r;ﵱgYZ7zXZִF! %u]ŗXi%Vj8S3{`Z^'dǵl/X%SPVcLn 1o$v)IaUamL]B