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 }1 L Y/ Concurrent_Ref_Alg:threads=2elapsed=11.035cpu=19.300gc=0.348factor=1.757zXZִF! Lo]ŗXf1-/6vRZy-`;TS h|`f$ 1U׬D nl_PڭC2}]:rZým}g)._[xVb@G㼴A׻wN/ҩ Kv(6ԼC"]XDvnA[믚1NF<|Au` ĬD8i-¾{RɅpdw5@f(*"\x:{8wa'5m"Q7]Dԙ>Kg%e$0~?&)^BkFu.%|)Z[ (HEϐNCNG$SZ;auX*+[]hh"ou#G(:" X c'1\7?V~PzH w9u?kF²gDH\qտH)D|BoB$>Y8 a<yn%4BZIlf`_I@2${ b4痴#bXP;{}\WQRx3MSv1x3Չ;QV3˖mZK&nReߑ9㺦wR!kjaL S&k)E~I8b~#)!+# ޅ/ 7h0%u N $XvgYZ7zXZִF! ?J]ŗXi%n8x#$_??s]'s\Dʎ?cP(AZ.ux ӿe\< |0'S'fؼMJzgQ s6~+w!5$N\GKhoƨ,2 F:JFl W6dsCdfq\uhcYWoթ}A6.^Ν,IK=nKq!ТpD"%XZSRm;kpiuazv27TvhFOxP}Jѭ\b@~I,T^3\Dda׋n ATIs9]O`e|4v70 =^H>a{fMGw; aJq^v*=򊮶f;AvGuM5ct'Tv2 3؝B ,.Բe,nZ64z[u4N:1W:fIL I&勵3v0\: NK18%bm{9N`^)SJ(.D7޴"!U7ܦ6kDxj ¶9F| {ID,@c [p{|Df! M*i+\̭jxJ)ℒf^! w搥=)?M:QղnTaZd6Љl >ucy!;ꀢ3I#Eup2*sPH38 |0i