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   q) TL ]I Floyd_Warshall:threads=2elapsed=22.454cpu=38.452gc=1.376factor=1.717zXZִF! b]ŗXf[&B['dP-ʖ}-TFgI嫇aȸ92xEv1@iA/b?g}8a Q==~rpu-Oq ڠDvrR %=`Dwm>74-u[@_9Zc 3=QA%sTпk4>'"vvAWG9M} ` \vN]UpUb|έbZBޢE@4&{*O?eʡ}y]°o8Ult:L96'hgz~rv#t.Q.ph O(A=[^p,IѪ蜸:FLxeX頮Y,U!/#0k͈\(yj{6s :?t&js.,;9IL߬^H:D0j(o@c:_ۭXk ;~`cyҶ*VNÅz6ac6oYVZ;+Wk9Ŕb靴oB"'= 2D!j&OEtF܀*f0,@JogYZ7zXZִF! ]ŗXiɟ$OLO+&%ZĆ.Gf?ܐi;٪MMd#$>.NoqV Oi^ϳ?Ň5H!AAC=ύ{AV[U11tc'Z1{6gYZ7zXZִF! }|]ŗXi%>gcuZyx\~gn1XD{6Ko,@8knA |wEP!Vklx(RokT΂ x+ƱMYTEF֊tqHXrS|#o'7(s'lO4$(aqn:`\^@魋8$["ygvYװ&T%f  ^xi .|1vWcJy%K{w@wu !rCEMzXnɡs$?8QK␡ E`' ժbe\(TMY5@P|{`DƉAQ3j!6fo3c#>lSiuKht]~UB4_".Cc_@TOvw1|uʱ,*2gƀ!mrzafZ,Vҷ3$J?S0z =X!)M2ΉbkyB\X>ۄ-Ob!Vɴjv=GXP2g$Wa|nF '<>z xtCʣc\sHgB|nkn2) ܹ:W <(CΪ"ɸlϳ\NK\w$e " [4 9n2jןQu9K o>7f y<î/Ċpq3r!(_sz"o)kޜliuhI|η(o=ZPDadpOEEjiC( x);or) `{]LšvXmY(06Dg n_8yNf:b~n2 rS /A*4xF"x]{xĂubvEB^K% ,CrP kV#.BRMGx4wvnW|!G#vzOHYWܯ+񒌔E9&Qy)Gru1Q- bbBok+#rМF>i×7Xݺ]̩ͣNߥ_dTl^'L$ =.㐧$Tvs,Cr)/bkb߱mAB5m$M#EXHOڔ CGP|ݣ:zo*/^J^[eK|,^H9J>h2K0Te+-b3V`\LxQŤN{6,-xoWi.#\&PH۸2yMdžWrSC B |F6㡴: 5#?c^bҝ iϴ@g8eMqz޺pkcE@IױD=MdNzz- ]0 .$}A