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 DD9 t4 ] IOA:threads=6elapsed=7.623cpu=30.160gc=1.168factor=3.967zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K q({_}F| (TϚN;wt/%4UKrQ?; PS`Q=_N3pIQqKC:bU$":!3NKxrɥ֙a@ǩGMn 2 3ˏͺOmSuJc!iW_nm9͐ 1 ыduO!슴lX= ,T:+w?QڿBѹpt O!`R)Ec wmBzE/{oB (0W4d8:s=VG& FQ_yFX$ G]-&O2i/4h^Am gYZ7zXZִF! `|]ŗXiɟdN'LvH۹$nWvYeqVug~R|i+8!x ZI z*I:‰؉S! M!eyˋįA`ezVKi q4!Ů.WK]g Tcp*徾*=IHLР?K`4<8̂WmnGtz,qdo~YPRT:QK}yag[}Hz1)Z'O'|#JkBN&goWFhsy)G9|cLO9!)NzТ9v#M5[I} gYZ7zXZִF! %]ŗXi%9%|uO>@䄣5@զ"}x2%.:c/ |o>[gqyg f h8?q ,̷@\lL ׅTdԚZ@$Zv{2mQjH>N眔R}F ^M˷e/"o G tH춸6gaO4 ,g3"L\e Z)w/w#h+]iE+`{ugv PRCuLM@j0|QMޗa7'L&]@9+u MBMφRBFC -kڕ֙;~J3 aX]QXF.sr4#Bωnj}u(-8g$׵T/l92ɧR#?D́kGٍC`ޢN%7)𝭿mKfpX49݄S+aJHJJb$UŔ)7d@;\ And>g.4$}U<(hdz- =kuORA;C3o/=^%:H"2M϶!S\jWYJC27 M0-Y9qS;Ο7~CWlK0&DZgYZd574f8f89a2322a6e3738f5618120a373ab404470e3f5d7770b79d46052d8a53d0fb4bd743cd8681 265218b52b747aa88e85337254de8e8db5ae0fcc 4b204a78ba27c466d3e18d4fed684c34bd25f336  IOA