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 e%L %S ShortestPath:threads=2elapsed=4.628cpu=6.872gc=0.236factor=1.497zXZִF! `]ŗXf1-/6vR[]u_4(މ׆IdƱ^v3 ƣ39=}gmǭWtSjÃ^-_=h.H\0mlI#w~^]HZ k-C,,Lu<"p>l_d6 _<{@9C5L k)\O*D#Ҝ-6Y`f,SiJȭhWj$8oEUxIƄj wT$z8m&;WWBsT^vp)" wG&tD@lt&U9?É-cCa S*[P(lf^Kqje:]Eu՛Ur8gHˤmn~'g]SgYr oT/iQ.D|Tn&7.o`6ztOc3xpW]!'u#g3:*GE&ڑhgHaYۮENlՎ{>YxN7UW<i#'O~% &d*ˤ\ip+~Ҏ 88ښ$Z3yY gYZ7zXZִF! ]ŗXi%gv_'KzN`%铵H@#~ѳeX >ѐKb|pGR CYq&elU9CNc2 KH$B|ZO كcoS:n-6о&zyؓS*V[Ф50n ofpk4uGle1>ƒC{Pq>g]ߥ9Ex\e B`1@*f0K;:@`%J- bHlMzc'\H֍,NOȮ3|&oTB*"+? 8&CO[=nВߘXsH k?Ǵz(ND/>b8諲*&HHkG-߂" 6WyxS{E!c