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 S t<$ ] ZF-UNITY:threads=2elapsed=19.696cpu=35.536gc=1.400factor=1.807zXZִF! )]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb/y(VWD BS8*$>R#@C6łP|*7щd(C-M$3YYa}}8f g:;%qӏ3{;d=AtDYeԨA͔S܁<`zḄ);X1&L%lC}6;A v(btH='Ns7 T3{e:m3<h1 -Q $ן)3#BWC& #K{҉xq)3,qj+eBLcm(mTz%VorWWy+z 4J?ߙA]`*b~%3Me&T37Gǹ35C*-B w.$ r[ ׁa;Pod}Va"v>_so!:߲2F/F9q>AdߨA]MwG`!P0uܷX>IJ~L%@ RÔX%Kx0" ~^6ɹHB@^-xA!_К ID!dV!r+!tx ֤QEςϳ+{G.TLt3[ɫ;㕄HC9H`72$̈́UT)eqDgL(J.vAgYZ7zXZִF! hX]ŗXiɟ9 i:4'9Zfw4 _.9bkm1h1 &"ί퍈n+2HBlވQLƶ屪"Ot<"_x`yeF6ClBAp0֏ Zz`ݦlD~RQf79݄뛛ڍbYmit{hNR+6\ 0 &8N$e)*#f"Gd.<8ɜ͙-~_Us ~[oM'HBb8ȕd! ^uj)p8_qUρg ILDaNfТW e_9PTSM~ WvgYZ7zXZִF! [K]ŗXi%;>u4i8)ghCand,t7v.!cNn#WܛmM$ާCBA8Npx{ $BגA5M0T'~0QA#ڂ6y"=D Fd#7DfCFs j{=p*]޿v<>x(8<đ en' hHmtfX&$vW{&E[: s?ahIX ֛4B]Aʯ TI~e[ȪmA/Ǻ"ʳ_Aw'sPaE+zO*CÈ *[ \d~W[tRp"tGӼVWEix\(pɽ|8xHTxwþEg*,O̺+s l9jLSus4B!̗Ӎ 0i Odm;[-rW o3*ᘬ"$M=0!A 'dZ$H[T8F<4$=*x1&p8C1vi'ۍKt7מDj#c aU9BXijgifu8YBBXBC~4*GӔ;kj`eI)@c]Q~3c 75'~86~!tS!%?3tbl~ K&JeE8&gG}_1p)xf[8EQ OI/Օd<0V>IT;A)Ů}t[unx9.` \#HU35F"ls1MնԶ! |l]U8>}%Liԭ&qnݑPw`[Dr2->DRyR8+h tޮntB%' ̅>'ւ0'.i&bq9upuL ~a  -Wt }vA*g(ucwnd