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 \\!) \\, ] Landau_Symbols:threads=2elapsed=14.611cpu=27.792gc=1.672factor=1.907zXZִF! %]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;q@tۖ5;:bR ?œrr]o L:152qZ#wMZHLi`$~մ8Z0^v g|G(9dnȊ "O:z'Y,ΜU^Ob0tPYG-"!}56Bw-vCt61#i\#vHNgù[\OzJGW _F2tpg./EABgYZ7zXZִF! ]ŗXiɟc'od9m1 )py\n۬V1#$t<`!.5':@|Z~HRyG/;JɕB^cmjhiYrKGOF•6{ Igp%>3k49B",+Bf]AQleWR+"DU=$ߍK˶ zAe< d^,,˕xgYZ7zXZִF! V]ŗXi%=wVj4/q>;٩K|9T&=/jΘjVг2&'/UWTpOlPd}]Rso$\̀yѵO߶G>2]kC0/e}$~]6L'/Wq͖UvBsD0$7FI,ۢaaR{YNʁ v70|lҧE. cn3@P|65fXƈe԰k=i$ h5-eK+j$nۺ#.$PILzaB- ʼ+\IJ(T<9_H5>e/'͛<Nd1LWz- r75;T*P'\6|]F[7 FBj0,or.=ݜ&;;Jtx/OJ2P,7;-@a%-8^mЁ F5$Q:b.02;4&;S2Ziw)ݓVmG}(5F8K)2c+J&{<|\eLcݗ2$+hΰ#5JUhb4o6Bȥk 1BdtbE#l.Ӡ }}S6]zyDh a>YII,-