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 GG6+ 4td ] Cayley_Hamilton:threads=2elapsed=16.045cpu=29.120gc=1.308factor=1.817zXZִF! ]ŗXf1-/6vRZy`ج] tv#[/ ;=!{FfB`UfFjkM3h@xc.Y o~7oqcNK6F8سА"H^]@RDe.Edىtjil'`n4D(NUꦻcO}EǶ-%iWʄh7~Qc$_ lU5bd4pq2jtLSHEp-Wv2pσe&"KĬ´l1~4LrzQ0jjMV attJsמXi̾B{̊9/ \Pz]BBb.8XT?,y4s܎%UE*਒Fs C`. I& gYZ7zXZִF! I]ŗXiɟ1˦r w/8OA~ko3zή\6zr" 儳NGt!+u&[L<zr]$J߷1)tI&i#Af V, SU}8@xM"da3WhMT1gYZ7zXZִF! YZ*]ŗXi%;x&>e"9!a6ßrtl[DA^5Q4I`n@zs7*.Ӭn&lbDžnX@L{òkf[qxswM@H`PVE9zw#8`=S# .GNK)Nwk TLQgf^Qv$d[èW{ټrۂ(`rx)[莫7(Gn8<] p;io{;Nl'ܸuy}hɆ40EF.WC "3Y/10ٰCCdiD>EXOga5Cޙ˚D>̨/MS Y0c$t.8ׅ9#g)[D)C.[+v KkO$9-t}~f$lldff̙2px>;͊N\o/׸+h۷?4@ISs?>Q;(g!zyd&%i0<2iO &r%/r7ϊfWrJW=~ 8&m#d3z"%r'gXeܝD}>. LU)H i_;=lڝXYRa!ЌAӾ\@Sdh( T֨Y?{.r._, ދjuO9oMEZm.6{_qMazN-g{i1yA(Osc+?eC!ygꙠQc\~J*ZxPNBs,y9 嵅Si@#pӟ'37R\/7c&"a