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 ""[) T, }/ Resolution_FOL:threads=2elapsed=20.938cpu=37.556gc=1.624factor=1.797zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFm}ד!'_;,crl%*>9y⒤Xqy/n;"+j17Ѣa;țx9ⲽ75Ft4,W dP0dQe~ /IЉ/9e'm`]*Ztn;ei;$^4UHW6#hZl?CԱ{c>}E ^DHt n=9"m$*5m"/ {Zpɤaz~أѲmFmѬwE@b~L&`H)#&\ &)^ޥ]ex7/pWMfBT*Hd7ab%3V{cW !?CqUYMX(GﮱJ3n:~{R&H4:$F&Iri{k.eS1J7ZA-BQp!1 Rz|pjmmFar1)4O"]/s7j X7WrfNN?< r)7hg]#9.,G#I{sxZWNFHLtTj"AsqTٲf^qLvV g-> T"5*&!ӘDP=1arwEFW=jҌJ,]E5gYZ7zXZִF! lX]ŗXi%6xoN'MVgZ$wGiyvkG8_qCw%XNc4T[XTΘ@ض}C q)x^3) mN, NpE[$)1B5["nЀc쎔UٵWAv 5[oM䃳3 Y 2g1 bQ)琻HCfOת'X \ ?7!ٕh'z`l22oxz_DHVN 'AG/3ZO[ t^ϜKNF̔+@n(s/_ oxb|E< wd5=>5`.Ukht0ZHpT:f|3'F_ 53NX5jJrE8SKgL}U+YP$\M{ }GO58YNB0vjOnc97a@6M4{6_!X-| UjSA9&x, n"E΋G`};\{Ia:ZoMM5ɗWJPui) Ӛ%M2*zFrLY7 :95 a < |U޿}[A>Q⨄./ ytut, Eno~ pGz[2{Gkn=_)Q>QAXqVa+qm)+PG|]Dj3€ܵIs-e&D`M<J/tS  t"7/nӋu)H*Dnu{h.ȡ I'>u j!]ߖrQmV ΩwDaE vYcF:eX xf+{.f12XJ/3A;֑Lu$~?XY :% p 4[M* ot(֐ ˄p76 >p({,_@eAܼA;{\}vpDn3Ӭ=(/38_7.oeрʿ_VHdHAY*Bf+1蘣 $ wޚ8O$T]){0vSϟI