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 u t, ] IOA:threads=6elapsed=7.042cpu=28.720gc=1.008factor=4.087zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;KQՐ =_f2$Z% 끒:BD& f"]2Z6-b*#":_2f"Ttjœ]vU1. c Hœdu.0s۬#*⢕(Oyn93BNXm"lOXl"K7r 2 sf̺VqsuOU"ȜQ{ࣞMªs3=_À]^kP6أi aq9judGp]blTç;;lCD4pߒ,N;7FcզVp&?v$feE^KW/:C=bM_6\ 2`gp&KY`FRETS7MQF!G[-E!먬L ȯ*YagYZ7zXZִF! `|]ŗXiɟdN'LvH۹$nWvYe|}*gYeR/sqr+ E04(墡$KoN;O!;'܇QiMeS O@ujծ cz!{D(uxih0+ρX;;1WÏT  U.+Oo7vX2 <*9Mxw?ʊ]pU::XAe1kpQ3N s! ;=x$PBĭNu)cYedKQM 1)F8o`dЏ9-7`Rm,,,߃5+ޚc+~ի,}(8lܫ+ ɺ? "?`nE gYZ7zXZִF! #UM]ŗXi%94nMѵ,0V~o@ sx7O ,~.Z9 =4aH&ᨖ Tq3:<|$jҔT]>qbq`9>)`H軚L(T¦XYy,DTGr &KbUfB{{U9tJl68 uXa56."䚮