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  k \L / SIFPL:threads=2elapsed=57.561cpu=93.328gc=3.772factor=1.627zXZִF! ,0&]ŗXf1-/6vR[\w>ż e0m7(݁xcCf\le 09n5ML( DoD8 Sŏ+TG Cx $ߏӜjjrwV7."U:!VI+מ{sA8‡F{JF?ɓ=WM2;WB:^G  6uA lw]g#kOT-z{>C)> so͛OfyU-0p0-}f  SIFPLVpr)8h}`W=iME#fg˺[׌6ĭ^yU{%)w'W]%j$3%~Ww 2`bV46udZ{.kthMx?=YQu/ZFHe!1!gԹoz‹L;+K1̠":ǟ z֑̓4>c;g ! S3{xv۷i@s ]ZS²䴰BTnJTJ_>ɑ Ύ -iQW Hy@y}Jm h M0)@rKIBO'݌$Bj}-Eٕ9uG,:s2:ڊ+aqʋ5swd1p_BGiZ&R)հXBɃ[Qǫ[@-&5CLMN a#icHM okWM%?^&T J"^WxxJ\OyEUKI&f(%?jZ'_x/-Q%o5 /|WO=*G[mFogBIK,D@> 7 L I2?S0X7@19,-=-pPu& # TE%Bccj>2\M,( 2]:b |$ L͸ϚJA,Bek?f٧P=pn|′43F4/E?DP.}lq0V&L}vghvt"E7kkNmḩ,V\3蒔S S_WjE0w̱~ȓp2Ϲ=SjHRʍ^Ʃ/1k:Dg?FR+vOt+c#F(z2qktViQ?W,[@JuZ։D/Nf2Q:U|ݵv@$ًf©2^ou6WEm^ B|+h'9ҹa8'H M-F'g>=aKzq[J|RW;eT3'Q9\;Pax'\-͐9ݜv,!ű5cz/ctdÜ ? XyJJVI}T+|Rs/(Ri D Oo:0}lvyw_ k@ r ֌dX%;p  s,MC8? fw$ŒeNjѳ O|pR>W$h XX|Rh*.͝.|ja$['VBbRpll PEjA}MO3_(OrHohy*]; Sǘ^VPI-̮WA/cxU:҅4PWxڏQNj>eG׶!ڏg#J@mȷn#.*GNWtte>+/HΥWTcYTwY]p^Nٴ= 1v KK{/3r ;rU%<qT&Xʫsyɀ>4A-"0c"߃BQ`Ц]Oۃ԰guj1b+zY8j#;~TDq b .”-).K12|r$} OpZYb[9k&X"8yG@30Vw|+O|<{-@9yn@X A3/RS}\h-ޢh je%dc`D2g&S`TG<=t|O䗯 eP@#M%g۱gYZ1bdd939ed14474971d0df7f78203c6beb0b96c80 1f6c6ced57b634dfc491a1b0f4f43100fa15e7ce 2e81f3bf3ac2f6d5d98913ad08fe438a86ebd1f7 3bf699e39322acd0050efb08776f8128cf172193 529ddd7b2b4d0e50506dc5753c681d736e12b39b 650dd06da287c3471e7bf6e3faa11d1084cd7bfe 674c796556076c482eee88306b92a22b545c4ecc 8b9cd08b0388155378472c2df66b44c74f6609db 9b64ff328332fba31688cc81ac71808e5ff0cb5b aebc0d54f56c4e2024a5c1885e434e0ae881b697 b366ce873cd8a8f23f0d3b8f2c6bcf84d7f1716c d801ee468e6a7a5bbf9bfcad49aa247d13eb3521 e45a8a6681b5ffffcc2facbca4deab99a9f46437 e5f381a59fa769bc18266b4f648065c139b8c5d6554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1