SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info S S T I Gabow_SCC:threads=2elapsed=143.167cpu=268.360gc=9.216factor=1.877zXZ ִF ! T] ŗXf1-/6vRZV2OHP"yZz%}<X53 q4%>0 sż2%_ 16Jpzuf5mw $YZԩ};ģE)UaH*F'Gcu}Z#omUdwKTf2 jRwVsq=᧴Di?8BP4zF(~IJ^P '\=O6yD,'zZ$` p090 +V(Sq276jE!ha[wU$3pn1Tms %T#S 1r9oC҈73)unCJupVrXϯ9ķTC6F6ߩF㇌ m0Oe]dsN|낡6SP_fqdae(nՂǓʝ-p9C&fEnC6!1 hd 7U}E.◕FD](~ ˀ/2=OU5T͵|Yw zL^bZ%EQgS % s\#UT+gz=Ֆ=[UV5oh*{<-N _%?KI95zu}@] Ys2as=˛JUAw>k:\,7~b( լI("Gw}j<; Zwaރ0q|6B7KnG\y%"'i`ۋ/ <[]5k9DfRr [W]4UIeuIVcl[Pܒpbsj(P:x=5+k7L'Y{WF) K8fݣ@=.p$E.˾Cq SV,"cl)@Z$rf5+LpbDYy \q7ŃxȦ! WJ֙3@Y#=)ETL*lڜ"o(T]?~!J8YG[a<1m#cf<˷NmY$m_f ~CK%˥*AgrD/ͽި_ȣIi \"/!,1X8S14ZS8[OR.-:*AxJ4y0n3V"1=W