SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 88E) ,$ ]I Floyd_Warshall:threads=2elapsed=21.904cpu=38.868gc=1.432factor=1.777zXZִF! O]ŗXf1-/6vRZrS?rhg!;4  8,a/hqP4EWl ՜[*d-P %~QކybgIx3Zf&P#C0S;:ȿpDsԥqzb`v~(z9,wmhuV [bd{J"@GŅ e{xH)u" 7blއ)3/b. aE)Wޡmp w|+SHGx zЬ |8R"fͨ<Sfr=hq7QHKȩL6,O;A4>;S-R޻rY-sxo䨆M K5T(ȼ@}6U.`Ljz'Q\>zްg^.O5@Ņ-C;+8x@$-Q~gE=h]h\D:x8Է3_bh7U\!hGUjBoi+i.?gYZ7zXZִF! ]ŗXiɟ$OLO+&%ZĆ.Gf?ܐi;٪M܍d#$>~FfD!TOUQkD_^w%-\JpWlsrUO8̥(/w*ñgYZ7zXZִF! x]ŗXi%;w`ʡe zuؕ헹/w+bGGb3<+j`fӴ2V)\HH}[I[P3rn3UC8 vQ%9(҈-$lOUpO?s ]p))r7%lcR\z,O,ޙ5rt @{@-M΍K'lg|/ t , kζ˽)m=l,Dr.fVì`6>Xk@$*ok$cU.Vls$]tUFtG!|\cu8=Ƃ E1 EA_G[œK>oc S7ƌZ1bEX fxN:#d8~36a%{cH$*T0_?JVsJDow;(,l 0S/;g:Q.juT o}]̬1 6g1(/|mc*j4>U|/ &n'\37\Xi>\'RSOh2"FߔJ:GK ""6(]/1o5"8_tVd\~w2''?|dq&tpWAUiΜ7/-γ1s? ɰhEDhF)ՠh/W-4;,t 5H#.Zes#>DŖܵT<=I7_e=XNWpGDn͉0;w31Os`FyM4=كN~9bsEw󢍴>Mܜy r| %.\,>BcH Mj#.S&.\iz5' ]oB~)`>1gZ^.}ϨDr5rKVVr~kxaM3>d-#n^"/qg? Foڻ*7%%yt^ry 78z+ v0j4:ɆW p/qUIAPQ^@k"v: n>ŀAydoF.qyv-w9n{g)S·[?qmiq5Jf@Rws}YМi%xrOxs;!TJPIh1 [ 4Ck4e)PڇsiXk2(H|[ Hq ;ߩ1^cs%͆'IWc 82[O`#Q~ާMH\^X^/toW1ly.*#*ȂGSKB2tB"g@y-,tQm