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 LL1; d\ ]/ FocusStreamsCaseStudies:threads=2elapsed=32.506cpu=50.744gc=1.688factor=1.567zXZִF! O]ŗXf1-/6vRZõ7ioN]*meV*5/g9Lcp37dK(L%aL$[W P_=`%||KW.A.Fs{8S#Ì'R>^tV18'3= ^KK/f k\5:VVۊѮmv ,1OH ԋ 9-D8ĉ~ufpQF7<51΂'XU-ǻY2P{' &Adhfg(5:Zl75腸׷;|*{m^.S>L0G<]ėw)L?F6 |zp#8~@c3#qߋ/LyٕYBm5b/,O| I.&b~b˅)$smK\cz;SY ɃeEaC e% FP& ƫrC!ΠDVE꽷, 61qJ;ׄ9̶d1 t+_zUr1mr;_ٷ)$?:;{g[29gA ~N2$(9to' 0zzijryO˝dzCo6`s(L(ժ⢡a5/W]Fzta;sfjEvݤ$+<·gUm6md.H!fol9p@mJtgP]!|&V:(ɺXM @ޜm3o9_v`f<^A~g$E|mTeeR?Ss9 G[Բ^:V~6Lrz$V7)'9TPd\2aXE=2,19iF3žPd-Gt$C9Dm]!VDi[dd=Owɾ)>/"F`' oS=z˙x/`1"1RS]x#Tyo2oVF/Z=v3RRzz"{pBEB7-`%95h͈u~\eѸ!֚pqPN#IE*b{P[x V~YsV^O<_ 6ִ(*~ױgYZ14e28fc8780bc5025059b72a3ed71c9067aef700e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc ; FocusStreamsCaseStudies