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 mm7 LL ] Falling_Factorial_Sum:threads=2elapsed=22.183cpu=40.392gc=0.776factor=1.827zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^NV&XGHa[ /$ _B4f;_ˡSpu;$)|/+)ڞGydz]'I-< * EՏnCcH$Tb,cH%X|լMӟcʓ!N TSe#̒QM jrtZ@bJȭ6\co/}\v%Ѧ {(aӈXW^TpjhGRyڟTq}`Edjzd8R":|X&JQs\|Up YSw]I$G+6x;ϼ98i1ۙ*GvZɰs0 cvVLNZ5~>;ҜVvį{+@sA"3+\K&ip43ᡡ8S¨4p !˴j$(xuˀmfWn'nt!gb'3?~ЉVT`(wRY#3#nelߩ@$Uu EyHG U_l y<gtfOAcL QtD?sᖔb|:9=4:͞!gYZ7zXZִF! `]ŗXiɟy<C{ٞğ3 H&rAre"RT̽AIX7Fhi,TjVyA])h^l>,Ss)`/ ɭ@l5pUł:iEӺIG݋b4UIhhN`ӬBS3V~(|s3Stj4&`{.NJՃ݄e`#/}Mnetd{ I? TaK#k!z.zp@,Ym Y LL.X6JMhNS)`(#PԸW@!cp`V%F_=KI 9NB# % gYZ7zXZִF! w]ŗXi%ύw4 Cs>X2-3$(!! p6#vYz)~ծAY1%]=xp]i}@y+khƣkMnp+;s.wF=`]+81n\a GG?Cę15 fpR\}zz:ʆWw-Bc -L ˞$i)°7 KsOԃ8ܘ?2eCQ(%}lr=YkbtM8~+QV[븊ӽR󵥃Y A}#ZJff;Sz㏉G;zO@ XKQ%}n:p3}aT(YNaSo6,%xҟqlzΘ%>N. Y` x}MP*G߮57.^sTPi93mU*3-=WzlD8TY