SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 hh) l ]I Floyd_Warshall:threads=4elapsed=14.245cpu=47.752gc=0.984factor=3.357zXZִF! M]ŗXf[&B['dP-ʖ}-TFgI嫇aȸ92xEv1@iA/b?g_+Mr`M2d_dMd(2!J/$N!k0m,d/rUj&|9CȌ3P)޽INkqn\*A%s{xaKTx7Ko#6=X!M$#zfc՝9"Kg^uoEB^Rn@(K\;'!+uPYEe J% 8D« Ro/K¿ p&$6b(O8.QabY;n2M H!5CG׽4 :. D#c]++W4vJf-@uߗ@LM {OC$$[$K#RW7vBDz L8B2ÍW9 2-ܱgYZ7zXZִF! ]ŗXiɟ$OLO+&%ZĆ.Gf?ܐi;٪2,6D]7d$:cXO˱gYZ7zXZִF! j1]ŗXi%Ggatm^थhWl>WLHC%sύcLO)WKw;wcboKa[u8l}kZA'Q7[673(>y@.kCC iEê!ɿ@tT5퓩:w90Ј Mx 3i_&;^O&vwp2 _-& -na1RT&%Ϝ;uu#|v`#+<>FFRV HEANKY/hއu'(TBi+ɑmBo[b΢#af$gYwl7끻e@W1s'c 'η5){3;^Tw;֞y˖hQӂ "|]Gix:jhAEf c8UՏ3?DW܊rP m1cR_Sg!1ZF_N:$1|X0x)%-H/|)ys\X:g*BXU8]y`4QyYIU>θ JE7k XP sc)/Xv:.}ҎntKbE^4qzܭ< %DM˨ZXIK3K'$O'0%GF9cTkBB# Ew67Qzl<$/]ť~4W'V'z=]"sivX4¯WLv{Okݳ38J!xJ'|6U>}#ԩd߱3Ӄ`2 *gj^n^n[P1u0:iDmVl∟Mpz$`Ga˧#=MV+na&/Uuq]"Y\ڞGԧ\'QղFYႃRȄYQ*"uI(/8!2gYZe2eaba3f8620ffa690b077cf679ec2088c0bda9b1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b b15095bc975f1db30190f9987ecdc07992115d11 2573ec8a11e13efc9effdb7faf84c87b54d36a0e e75e4b6f2f0354fddd10bf7070028f51b150c3a2 c29c0f82a0e3dfa0b213bec61f1a06a9b324666b 51fe197b8164e8ec3c6be00c033b42b49526ea0a ) Floyd_Warshall