SQLite format 3@ . BBh77otableisabelle_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  d,, ]/]HOLCF:threads=6elapsed=12.233cpu=35.292gc=1.948factor=2.887zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>V %`&/bUcpARqFi @;cb4*9nX<{D?;~|zxj[RLw_U[Fu߅`75!i^?N+"_1숇%כlN)"7i2`7 \|_ʇi,g"R}!#;}j3"DT$|zRXA ]13L21ǂ*(N#\bW|H$^'@,@)~%yXpd:xl4/[յG'^몌fhU*1PJDN^J\e$NNmھ=!/czx-,x.s@^{|O7sԴ#*5WcY}zٜ OP> ^JWVw m7<]J۱9|VN r _^yh0F҂vԍ.w]N^Ӈɇ9S2]zgPsҚ;=ZϿai7 ۿ1tBߓ}WKW:sTNa@* m.>lb,ri|q[󧥞D5a?pT zgEXý^IpG'[5p^ɭ'U[ɭO:oIUKN*T! G;{:M)ea1Y߉ƫ`7%>Nl4lGf+iiwAX+rK?fGkB;`=X PճL6Yp/21 ߧ1[[He@v2Y,{~f]~O fЙmE雯Y{{ ܥQPfncc4 heʜם$vbċ(~U5\#eTk27"MۓGI3-0c[|%=RTB{ݳtMKWCsgYZ7zXZִF! ; O]ŗXi%94-FKTqC¦KꌺC~4Q6/ƌ? $?{ >FU5Oѿ~7Ԡ|yy&p>rDH->/h]oܝ'esV:[Jp%^R _цP{_c!_<ǷBжak8]tTp}p1B`v"!iNux H  PGW\ 1gc.r[rʄR7@}n:ȡpR"DD ϏcHqCd\)P !&8kTVApu|,:#[iIleQ; \U)Bum|o/u2w˲& ;Ix`Q66 :iI*8-1}" hևZ:s & kjI'A~&RZM[mX&2E=RmZ:#mGL/Վ4H7R몰u"[9^K8sP,\p`?GҌ