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 RR+' td$ ] HOL-Cardinals:threads=6elapsed=7.153cpu=37.836gc=1.296factor=5.297zXZִF! 2]ŗXf1-q恈<-¡$johkX2I)']8PIzY9*;VYac6= egKұ@!K?W饊ҵXճ64!@Kն=.ĥ*ubTՆus/ X 3U K<L\7W{DQ +9 {~ǧ 赎5 ';7D FL G!0^3%)sړz4Xrv% 2mRaC45,z"J?5K+S%nzE|W0maƕ|{4- B،=`xgeG_ B:;Hep^IF3-`F.i0u4%,ډ!*zQQD/"'l"VŻ5Gn)iB[%!u; a J%'5} 1[LwAB1IڽoAގ&ىQS8XU9#(dgYZ7zXZִF! ;+]ŗXiɟ1?ߟt;9BP2CZz眭5 z#mzOªV)oz, 1hhʬi)VE]!Z熬C dCr]CWzQP3wi×QV'U 9L0PbZہup&eWw\242oxImxAV;% i?v4q ucŒh_~+ܚj2ʾɿ4N/!V-t.,@V~p>^eke+ gYZ7zXZִF! #i]ŗXi%9#vuF [tqcx`Bƚr /'WE+3I9t(8f@zq/j,K@' 'ˍE}kqz=@Co^n48[VQNh0_@;I& bөc@hXvjJ3:nlI B>#[|E^S(hdk΄)#`1pݷ͙z'b_F7u D35X{kMqr|.GU$uLD{~1YdFDi?QQzs<_/^fNLbaQ2IkeK-Ƞ9~V"\@~G2׍;g$dÖR B! ,ճS #$ѽPgʖ d]k{OyPs׌oW=~&+*OW.BSb3>/̮M=U@xyD!(ľܹ/k3J 8ٞ=\6 rdG>kw%K|- uiiwI3dqa("0=|6K,L}B1hsGenS/,N+v 6dk%$c6kmXt;.H|9& E8앸gk@y0@m բO'irwlzɭH XO%~R m]!V)y㷁ly#ù]-j