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  d|\ ]]]ZF:threads=6elapsed=11.965cpu=38.512gc=2.004factor=3.227zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw(|p/ <Kb&t zIߚIG7Ys'Sܦue"UKͤp\FXLŅnH# VÀ4( 1'{?Fw@;\pnΒ8,Ό}yWR%5~H[XF7P@߇\m]Va.gep;BH'vLܡ.^1 Ow+\=.'Vb%qv3ЋVo(ަ]'ը^8@W]Q?>˳ԋcI%6UOTDŽ @lNhKZ,||7Nd2/0fbzf'!c޶= NS  3gYZ7zXZִF! 8]ŗXiɟ 1FE`空1"ݳgfkOŨ|sw3NKԍi~~_i枲 +[8++_LoaZ>qBgTyRN\0kyw#-7ڲ\K{rrmv0[tMMqsEm" ,K*cc:Irqz,<.Nd]rʕI+j($jU;5@Sԃm X &(w+S* 놝 |y~12]Znq[sBK$Dx!T TX ڲ*2)Khp[+#mzNo;N'HY Ab~[j]f@*槦Xٸ 1. a|<ڃ%F uGGuwK \kmm8,GC@rtU.6?qb s?4+ *.$ kvnQ*6|9WØ@gYZ7zXZִF! ;]ŗXi%6UsWmQ]0x3aAY/-- 2ϱ3:ZŖ gD*$r$m[B0 yv)1k3ᩱ0IĮmu"pA'#FBJ ( "V$VRJ9`=!raU!:NpnW3-c˦Yi>xLk[BcFYk8 hfjUlIns[whRli_K7DȂV'abu i^x725k(f?UrEbcGC]F%*[R37%Z,Edj۷|;NTTޞ/nuvuw,cPyAzQnP@/sM;6")U< ; NE6HtGˈEd;N8E91WQ8FD7 l fx  lr"c7~>wyGCwT8t9c%xA= rMr;!؈s~P`k݉; `ꗭLd ix.߼hK"_3 y^S`i7ruv z!Paff0dD+F(GXMv *Yp[LgX\SF "^%5ڰv}4- nag`/G0YcIǚ6aDCޒު"bV&Bӕ1FCB HC̹_56v='eȨ@ ߩB=K'xYV>Rh;E\?rI}dxVq6*L̙o!`b=P1sfw1x%I_DIl0W.|j4U. v{vgYZ621c469737b9ee279909669300d2d8141193b4e7af1e669e0b71dd56bcba24adf3b86252347d5dfdf923925ca0b8fe5c408e5fa95027a5fd392770b7  ZF