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 e) t wI Floyd_Warshall:threads=2elapsed=24.590cpu=42.708gc=1.304factor=1.747zXZִF! ]ŗXf1-/6vRZrS?rhg!;4  8,a/h~Ӳ[-a#Q; K$̰:qJ[+9L/ϓ5JoN !ef0Tp0?j6rGpUzXjܕƩ)78qVw4窂\5L8VtlVjE 4PꐆN@a(Uz㒥닀 f&o&GR-_b_6/Y2uTݭ *]jѥP_˫s(b3'I/r9awi@L@nn><_[Ӛ]4|p҈pT?zi.ت,chwv>.YY2V\cbӃo)Ł$ j8TJ0 @]{>?WYg¯~(Q~IVWx py1WI[SAF[pDĬM7]{|:$LY=S|sCbv;S hjd lXfsnQ`#j⩯2 Fjc Wе4عЌ!z;}!k ײDyuϓc0O\gYZ7zXZִF! |q]ŗXi%6uT&,Jf@WhMM.K=Iz'=H;$ϵ@30ĿQn8]&h[zH,-Js)ՙ<[jG? EJY(QœJ[tmpzCOB9O i-x<2 ׫eVyH$B;YDE5<y+J e7@;|'+-6+ũT.Ҝʃ?-mcR&ڱ߱h6_﭂`G8v&e,1 )&H$8^?PUASBwaF Yte]b"oIm VrkCNaabQ6`v1i9}l1r 1 Bw62_T LԻB9`K<Ϣ$b|8zW"PW^=v,Il h9'T U!'ZDSwдNB)$!>]|L̔t &Gs@,Ϻ߷yz82œog$va^|5/p^(owl{N[?N$ { dp$lNM &A^ J{)$*ѰeKN'[ՐKrPL6DjPm-<<#ݼy˴wm(0u\?x(jd7nN`f0g`YZg@和):'7 omַ_ twqC=ET9T ޠngYZ1033aa60eda69a17840d1e5c0c0048783e787ea8 37c25b43aad1793f0281b4ef55529966555d5b1f 38fd2b638a988fe6c2325cc9da704d4ec00c4bc7 6a33a4287663136f15fd858b740c2bd53b37f3d6 8cfe2ac6d815ee4b6ba79e3b49e0d29a73ae7a34 d2fa41e5a05f70239177f175014ace5498e628b2e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d 76bbddc77a386aeab17d605c97f5b2549e5a7e42 14dec19a4fbebc3556e2960da585152f9fa69c2e 7b429c544cd316ad7d6e9bc5224e03397e6a58bb af69c8be65b18b83c9e319008cb01ababaf722ac 64872a10233d9ac1d09f3c5d1467c6dbb2cb037a ) Floyd_Warshall