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  \ \) 44 wI Floyd_Warshall:threads=2elapsed=22.687cpu=43.460gc=1.412factor=1.927zXZִF! t ]ŗXf1-/6vRZrS?rhg!;4  8,a/ʊzmŹå8!C$9̔c]J zɶ|DCL5>a[JVDgA\vDVqQRA[zz2alxwrFySY,/ @? xiM &QLU+m-*ݔDNaqh@DL6Zd6M蓫Gbף[Y"QUW7;#G^-HU8MViM ~M14[B'\5@n]7ܺ6F&v̔1 ) Floyd_Warshall Q$?82 9ap_v YC2alN1mO$+p ҆Ksx#_:(*7y|y/1r^ = +nG-V]8h`(n$Wwaܯ}I_w-0}lj>ǟa~c:S['l{+ cqB= nt[yԁwhW_ }|)hqƔɖ~9Uai{,D^G^?/cQO6؆B "e.Ooy jafC'9Q=gԢH+M\,\5\L5ԻW͡2H̽4a3r O6m =J<2?ѥ85-ڟ0i3cw'r4meX/(!\U+ )ҷ)٧eZk(_Β3A$n>Y!)c*rIL1y>`3ٍ`fuMBL[3v˟9t3cc% Nw2\q>@ OffyZcNH #6˪(mH]wbI|A4Z|oktŠ]i`Z9 .3[3?V2J: |l/Nun&T\i~0 F1H҂a@LAoCPqJ |N=CňY{rDÊ^y$ D,.,)r]D#J)c2N]XQP>)_H 0/iKպ~IOk7GN`y߽-CSTĤNߥC"mΤo,OϢI@_媙uoCtBQq ͽp D}ʯi@p0t0N8;S\;IM!A3`g$𩳹 G5@n{;dvX|ؼ(6Hs`R6bE݌Z9,O6NiӌjP0g`qanao= V\hln$ĉFLŅ $ yS'S_HR"&4Wv.Yň+@C3Ws5}ϫy{ ;-WE'EMjST}`~$&ֆƏi( Lq pXhH8:nDs $]bQ-ZH F(iE|_#y:W<\nmZ<[jR茡|ZW{$yjw/~z@P+'7̕2D[گ 6GF칕ݣmf. nlH2q#~?ud.DzHl&kYsFr9YC+aH G9]%78C k>?[N>m 9(M"6$CHo+M(5Sl gb,/wBQCHmºgNiq=6GS؝KZLWpuʋj$TGڈfZ 7@luX#ko33q"(A.q 6;CURGS`\?eZMp`47cP؁]kG; @}DEB3ču&W>>B/HZa#j\c`Se"@ܬ: EV@3PQ%hSHёl/vhD:Db׭ dlZ1ƒ<شP3d$