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 - l ] Lambda_Free_RPOs:threads=2elapsed=19.837cpu=34.632gc=1.492factor=1.757zXZִF! 6H]ŗXf1-q恈<-¡$johkX2I)wý 1_o^*}v DK8w߹f- ĮRS, dǔ6[a](ҕ ;/܄!qX^<`^?E@uÔ3$^:]NiB R ޯ Fd'))(|e8ѕ࿂kK"Wi{jx&aB}R5^'uW@K/jtJ>/NtŌd3v0 RC\Mg4,+V$C+K/wi?hq@\&gegYZ7zXZִF! \]ŗXiɟ1?ߟt;9HK?.>e7"1r)[ne/~7-Vy? c9vFʐ 7t(kS('q Da=SԲŢnC[Z}("5INrVsr8KgYZ7zXZִF! i]ŗXi%6SwSqg}d(IW[fI(dɇv]5s5,JO_J|N-rGGyHa9:j-e@ӝ>JMƛku.FQW0ҒazP,R e9q36cGOUM^WcKf|Ax)W ٷe?|d3I|r"@ ) ̞:tVhN`R 9-) `bu^EI=+iO[Z 4 az>G?qȡ$0G\INpl! 5?Az5Xˋ/%vCn6R{+C,^Կ\y? lem܁APҳcFi`0|mO;{/itfa4߆T U 茛0pZ(Oosqi\|?䏫Gr6108qtcD.s^LV28QY%J`OD9;LMѯ- l@Z[ H H^cp$F -ȶxpiK;8Y?ǮBN<J${;Ï(Alc'f}Cf"~$tW^7(}r|ti,(ծY5x=Ը{ĘQfмKͼˉ$hC}/ w0xJvをYI5bEY#!W{:1p.?)(`%>Cژ\U|O2]޲UxU3™TN1zyR Fށ*<%/n^k7Ѓ p});>? ܦO7a3uنƈ2/>g%x 5 [78{B Ɛ.CHmdu6{ `#EG`׈>L4H&zI})]|{mu0B#H؇B] 6z`5ێ,M~` M奉 (8&"j&`-/%jQi>>@vsG l-ЩW