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  _= Dd$ ] Incredible_Proof_Machine:threads=2elapsed=46.410cpu=89.116gc=8.376factor=1.927zXZִF! F]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Ip~ P px&Bs CqxZ=t`XZZFgx/vJ%lg/H.I_@& e8W܎DvbTld^M dcV.xJGs $c+;fC31L0)('! ,;8Z {*߀ /= gG>n @`1^vkę}[5k{_\Mҋ?YAY濉PCWp;/z}4QudLyjtjY-ks3ZރV+-*<ك;vג 0bv 3pXe2T8ɍV%*gkOOۣ J<;kRBL0>Mj iW+ yԫSߌX;#}殑ǣ=|Wm9M|f$,X,%`O^X)"0aǼ{B/ŊbDA0DW9GߩZ7@݇o9[&a/iQ v)pR۵0atG1i'{5RKSױgYZ7zXZִF! L]ŗXi%923Llz|g˄J/2R,(aMeNA<&"2 FB&DĨcc 零=}0jGB#q}lx۽ ;*bؠG4æb E3'~7P:z5pԘ;F]d煊>}R*OxTzߦ~z`כK*^yLziROJ1nȇ ZZB|AY CS,~3Ғ,}uI~E|RKE8Q&P@ejȶyONPIuS$1<^B_Gb}ѪQÕdʳ FW*Z.'D!5LVVU;yS7?KשS.kJv, MFPS*/Z7_t\C~\!Փnjc )|@Cz0]ѐ'^0{S Jr(C޳Az2Ɋ)@N0QȂ.~YmnB|9V@&xzha?HWg\"`~Q@^s0U{#tS 3zl8 'l _ h~z1c>|P}bo)]B +ֶ-|6L?|l}=C~oZx,+JB%Qhߟc~ϚKv.w(AƽrHcL1ٲG{D7i~N_ ;]J\Igot(KK!&zF[aPVODQC@N"H~\/{=2СwJs#:${)lR핧P?DŽh3=ϻ{+/Ȝ%zw;#ۄ5Dx2|/JCMǾoO:F 1עOc"O3kKne$;I9IyYAld \*\,mDhT덤hYy92Vv[(?kO`_x_,Kfg 03p Y FkG?HMMA\dVӣ .(j@hףOpBeZHY}7H6K?7`93>N wޒl/VNQC/.[C5CT,6H\_@ n6ACtq[#E\蔈 ڭ"ۻ7%@h'Ɏ'ZO \VNU'}nEёw&{ ~ mJpQvp%5viې{Awa:FM rcwd{ݮU$@X7TWUjxv*@%Q'V4&8}Z@mp[{(˯e8cY w~]lMAn5 a5. oLA8wd