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 y) $ wI Floyd_Warshall:threads=2elapsed=24.846cpu=43.900gc=1.456factor=1.777zXZִF! ]ŗXf1-/6vRZrS?rhg!;4  8,a/ʊzmŹå8!C$>op ˜OzZ?Mk |P8xw(:v:3%#5qB]l.t EoB=%/Ѐ[it_ D#!_=$ƝVۘԛHkYc} MȓˈIOaH u.u7{КD>֙^0`}2 %KVF64g,aZ+Qea8hFb|p&*M:1{בgYZ7zXZִF! 'y]ŗXi%^z>C䜰1w@{R rVQ8w ~y(T; C`Xk^|+nUɖ}V= K}TT[ߠn-|t()gܷ"AֽM}Az"0 6F2ŏ培%qd2@V28^@~dO 0MI$1 hJM0Lڶ4'%v\T~/ GZ<[*2JFz^\m XCsʌ G[wE% }`H.|p\}xc7HR9 R?j &dRiŖ~卭?:) OY:D6\'{,Nowy-le;x<֌ vN̞o:a{^dd?̑6a^㪱gwKru YYD٪O|pMaN`T8P$Jso>hH?Mw-fMPZPS0gK6,Q28 Xua &[#b 7>{礶0՗?Ge!h[Q%U Rns'*uPIEqdW{-L=Z/bkf,Bټ-RD4k:^=R@{dj[4=}*@$޷"2h6UA؈K~Lf4"rKQrY['eOȫ2m˝Qr̅Tk\SMbM>xs1"AӤ@˜tczKYk`+u|>r- 2|%<Ĭy661!+u7!dD&\ Sr +"T9\.n.ѹ?H(Pʁ a9CXZv?6o)ݤEf\ΈပNbA06.uRMCoy^>L-[œ~2j¢NLJ/\b㙡j,d,X_$J ! ^' OsT͐?c.#nXL@ݼxߩLuo1'i&-h ,+M#:ҼVJfcy/0:a/4HПhX>W2I|p"c9Tj1MSGu WE̳>5s385Ç:U4 V7a} ݒVf' vq@0F!Ӽ