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 vv5 d 4 ] Rank_Nullity_Theorem:threads=2elapsed=20.648cpu=32.608gc=1.336factor=1.587zXZִF! N]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?yfAISRjk؍*MM| hb,z|(#Hs躂z3JRc_fW}k U|G.MaݼܡKz?4RT~G1e1 t¢2NRkyFr5Vd1WbҴTNPBD~v9%e9X"jV2ltkAȵ(w_e2\<%֘;)YAK.QJ9P\G^gG;RZ%RM.(Ym~Xn]D46 !ʺK" TZM\ĕjѻ ZR(t.t(؜ Ɍ3 zfdk;F);hGh-NgYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7#*9{MlWDʶckjY7G%T߷éz\$Cص-Wfs~כuǭPQ%eA.Ly0wh>F3hVT{[A\l`;swo]q1:"B$ʹ8lP+^ P䯘e9r?e?˘<4Ȍd0w9VtJc$4=,B vc/׸mygDe&dQ2U+T$} z\1?VѺARMU./7tNh8(Vh1_8jI9x+4'>kOgU}{ߟ5o\!oӜ*ej( K\e/9.+ggbn3k}PnR T.SAM)Ӡ5IֈSyă.]Qn-quN{sb/ZhW ,yPJ^CbZx?K퉪(dJ:`NԼ4P=s8jYY$Q(oɇ-g<[Wu2ܯ-_lYFZQ \3#~XoK^}8b2{5l=pb;;Dz6zG"*bf@InB"57Xy#$XFP]$[/ n۳D'{>`tl`΁(7-Kkܿ3B_}HHđw7GJ:bK܇\~ yؠ|1 MRV Ab8ĝ!V it})_#X`< E%Ejz2ϡB\-IEݮm `qxv`A|g,^ZʓQs<YZtٺ|=\#YW՚冖HfhV>5rߨ?F1uG2=`bc G`BQ7W _tG9Gn 6iaMba(ErA|%%dhm6  $H4'v#:79@Q6㩬tnq*u]Yl' 7Ih2AɺCj,IFfs"k}&yFOg8Rp+tX@H%;WF:_P71#:5ҽ [W\(_/s=!~AYسqSshk#lWY/ @dz(֬mVl9t"mEAƤa(["p@ '; H\\`SӦ% 0_4iR[V]ajv*YD T&< B"[똮U6Z RrLв *c~D63lYZwԼ ǖD]A$oB{£~|nv!bg#Jv>YS_GP, M