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 :+ < ]]Landau_Analysis:threads=2elapsed=13.251cpu=25.376gc=1.448factor=1.927zXZִF! U<]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;ZY7(ۉIg$YRͧqwW6 |ͫM懹 w);X'܉r[Y2ip]INzֽ|2;٩r'm))-%r2/@}A(Ǣ",'(MxdBq{VzҊ,RY„AqDɇ#ޣޝpM"qȈV-Ѻ76keװg:}B>\Jz4Dn))jr!8! N\b<;1r,/.o)Q5|C‹rWkN&` 50ОAkTMRb h6p!eۼ%m=p(%V/|vbU -),rJ!  YYl3Ձ|$ؖ6} AyJ>x+o{ ,[MQ[+aR!z?ОU.P"Xɽ^LU LgYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7 ς_Z% 9s5gˉо; -R-A،IEoQnDT~lyG>7&;1&^\|"iE]4ZQjR j[.(T+e| Nu]*5ZgUo_,vh3K1t5KR'h ALI뭆l:xc Dt*JpR H~nO(yxYd@3IK1 Jg+qoN\s"Y!."cW45(/N-][ב_w%y@;0/JbeY7h"{ [sDD;r|u8?)&Õ T0n$1a[NFu[y$W'_S.MTzẋOkE^2$o` טJJBc~4uK:jF6]-{ VYfǩeԗpta p/U/s&"8)N' yؾ(2Kgb ]Ib݌NEx`%sakLAPsT% (3ߊt/g79߇鹮 )# :*$nnJ)!I!XD8 .L&/~ -K:2Cգ?5)uV|c$ފ1c