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 ,,Q dd ] IOA:threads=6elapsed=7.428cpu=29.512gc=1.144factor=3.977zXZִF! u,]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K E3/"+YRפ`DnAg.V5*k\`P}]S`dP5i F `ėܤ 9KuyDsȶ]Fzs;$kC}Wpt"û*Bi`p/m5!E E&6F)EKٻ.>UEGɈ̚XxV@16!'8)=Z[[>\Eod#0e3Gf5Vl hfV I9 "'0mP!?qtR~w/PP 5Vطř>rlW"5l\ic)w(l)ʙ-K=m&`zlMl&^MbRn]\V M=" BWd pEh'r 0 1c˰]_Ub|ps.<Ӝ7SA] =~)(Rsy z|P;23 =Cik6): D)~gYZ7zXZִF! `]ŗXiɟdN'LvH۹j}%Mu|HZ mϲvcEd? dSP++N"YkH^GrͻU;Rk`u?9Rc=KB߅=TW{4!@!eiʆ#~aV9,c}hݬ_]79e <"f[6nw9+>hb(>F#:Pys~D=UMǩ c[ЊMO(bc>Hmhm>Q1V-x5[zʱL?'BSw&C}:96rηQ&Sf98` f6Eja΍HzhYRƀ 2Y7A;ju$;Xg[vs{]F*S%7DusWt%}]!+|J~nf*P2q'gw)!k[|M5Ø@  ޗ3R'U 4OGR2 *B1#{U+ gИ8S F:f,‰TkC 0שּ׬!21 TaL "tWEُ>fTK4㼐5b؛ȁuJy)4V, EZm\NVktoҺ#(~oT\zV)1dI|M֌p h D#@& ׳cQ NxMA<3(};f#3\U ]$bO&2yZ :Á/iIlc4ABOioŊl) 3`&FO:RƤ"ve5s gėVLTx`/K gYZbc7f88e42c17d753a56e8b56c17cac179d10b5a67dac346481afdceab62c8081cb4f36756224c974 3b86e4c44d3a409110d660ca5ff3fe46430a5376 b7c35c21fb6de5703024a79122a9fe8298479edf  IOA