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 : $ T ]]]ZF:threads=6elapsed=11.953cpu=37.412gc=1.948factor=3.137zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_TwU <br1c RD#{@`X BR|6 doGPou؞.H9E3+;*!Nj8`u0-[ay|P\ N,W (  bF3$0iM5iV6n$ FtXi("mE̘DhXu.w!2e0Voks2eF42Wok=o'n bZXw"/ L!7zlzd.? [zZlA ۛ K+gYZ7zXZִF! @]ŗXiɟ 1FE`空>b7 fXՌnDշ)wq6p6:rQBk4s9_i,k/dR)O2ə'E=$B@αj471Q7{uuMJW⿲NZs%jC(1˜“sgYZ7zXZִF! ;]ŗXi%9(IoʜX9\WH]4@I;x[X6N^-Ӕ 7/4Жɥѓ+ӭyw' J5??V2txNn' FZ5m' aL 3 б]kJcj.KO=9rAZxzZ sE܌yuӲ;2(=#dO<.Esɓ;WnϨb7HDxLS,1먌%X2_PԽ|A2OcW$7QiCR+#r3j_p%G$Q,cF?hQ!bv7l hyzFIJzayFxV c=O;"8C$ϯ  LT ЏM| la&0!u bG)ϳ۳NOƋ&< 0H kK. <ӏJK)+!"'lt@:]߆[,Ќ70Y+D✃ OHL ޱ߂3H^I16n^&KRM4^Z<*BKԃS1$*p)h@j =nBx_o7ĻڽR%kQQ+¶T 8[1TR֧" k3֍w?њF&S%z3IhZ7APm[c1լW%ǧa'6#~܌C!D6 EXt0cs;n* Ҵ7}NsoS7yL{Pj|}&߰:ZS16A-yaGpG_f2֯DNX۔Ԅ_0aRrH̨Kݪ6X. 3]Gj)+c;(uFπmI,Wp}ӱ1\űGɓ[} p~++Ҷd,wH᳏߷ɨ,Cf^!^8"}}S!5{h=*VC<=9$iL