SQLite format 3@ . BBh77otableisabelle_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 E) < ]I Floyd_Warshall:threads=2elapsed=21.633cpu=37.640gc=1.240factor=1.747zXZִF! 1U]ŗXf1-/6vRZrS?rhg!;4  8,a/hqP4EWl ՝qǾMބ~f)2QbCH]C2&t4 pxRi2vz4uqQKqt 眝$osh5I%1;KGz%5:4[&G5E3Mb4MAN{Xc nqlMM3_h+9Օ:^A섿c" #&6 Q ;HAKCTQ9 C~{+[|,j4I rSwz*-l":uAYpc@>vk!|"gQN~X,oR%dC/€@ 0}u6R,47ngYZ7zXZִF! ]ŗXiɟ$OLO+&%ZĆ.Gf?ܐi;٪MŨ~DRBr)&;G_W 7/}pMٰns#(cc;}"/dWj$ZgYZ7zXZִF! u]ŗXi%92m/r',D{izIᯃs]b] &Wuz~WP:FDumC=ȵ$-_~,XiN[c#%ΣM5dj8g]5(Bfܬ sF6șSX_eӚS*xȌe DB׎4b nʱ.~YFui26f$0ve9WM{cmoo'>Ι=dQ:ɈmyE^-׃Q+(Xp 'j)(tl9DYi iu?Af:mH91m, qA j^b7 2p9>}JyX0Zf)4ԢcQ0J%~mUEz$~OHj_G_ =?GzTm5vǒ5)#fLw~(`wt/N4&,0o=b iNl?fi0˘a& XD zj*)JYS0 (QUalns  IH+bqnFvI ދ엀1dlVDRKXrD5b+4:vWz7?;:qVrlttK;X'EKf庼8RӮ l=܊ b&.ٞ.;ėd#M+IdJ@gN녧)3Qp\T ̩[7\LlضLX+Zs[-T'1鿄54y!Y 7 TɈҀaֵVȺYx&hi0u4֦Ir{tTҭvn0򇩳&wyD