SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 MC Ll wI Comparison_Sort_Lower_Bound:threads=2elapsed=7.393cpu=12.516gc=0.524factor=1.697zXZִF! 1n]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' o^KszIeʴOȧr>"z) H HF;\wՈk|. v')Az?ѡ%v#Z>ˇ6mV  DSf% $` E@(@@.R|6GTRP{f;E)y0,~(U5b8$Я@-g(O  ՙnn5Pܡ/-G ?0.d>̰_K&yҞ<8@͞ 4RB"g 0R!5#O͵He<,W:Cg26h]qZAS )T;m2l s̩\0jx( {whmLhR<( rc^Wc6ez}yi\?_ڗπ\J;C0{sE= A.mm*Xo22 !`XƷV%hB`3IBڴIs+9q!\I[Z*E? yu\><>'WBv.!9/vt`j<ՙ[BHmh`pL\V1qe6>*NoC[u+pNFm\Ǔaٽ0/ns~O0;2yCzbsgt|!\J]ibjֱgYZ7zXZִF! ,xo]ŗXi% &6ME;i Ni?feG[4bҒXeU!ҦK'bX]4{jUN'0.%o7+*{o]MwszS%\Nl/*B>et%vCBk4sKn=x puL@9S%'sW$/ m:=:FNl xnB%-!P,dbd(sudEdw8 ՖB2Q@b~X4Ȅ&GL7KaRJ#Bj |ͪx)-SnH"㔍%!J I%Pj^mfX?d3@8 Nа/* '>դucĦ-ϫ{J(7`\S bB5eG AHș78"7&'vb.o^,r6}J^;B w(ܚ=p)Z%UĮP n~~I̞|ܗY'ZÃ+BDjqJe [c k`c