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 : 4< ]]]ZF:threads=6elapsed=11.885cpu=38.340gc=1.968factor=3.237zXZִF! =]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw(N!gQ1wieHIqNE0>qlo` =BJ? c@fºG^'u[߫cw޿3m{*TM[)5#lIM}joVyY̌u 4"7.ofN~ JH.J+jʦNob -gW € >X8 -VTZ}"aRy: \CY7\TDd,!L "TKc60V6e3]0y5<,@v R7hM|qu3 *Smu"C-Y/m96E=Ɓ0z I/XpOl=<+a^֯PqG86$0xO3&b_5egYZ7zXZִF! C]ŗXiɟ 1FE`穹tyN< T/\A˛ )N<CY/ޝBzKb} Ƙt-L*ϩ{HEK9\gAd ̟{Rgh?4shi8ODsK<4ɤM6h>ty7JVo6$!H?.-ǍZ56W]9)nƾpo- v!íCX$pX'ܿ9$8+Z~I ų/fZȌ}yEǒQއbyah㶌0xKMs#k)F[$zcsLXeFPtV`%oV MF 7'ѢLirIdb]'ޑECQ 9ecV<3&_9>DQL>TFbr //QƱ.VnG5XHQG1V(T.lha8}%X?@{?U^k'_[&@0)x_`[`3]@> l=dا^2Z)G"͚6쁘Kgr+]Q5)KzEړ9VbqB_ ߹|$\ɜڼ+!‡"%m#bM?0.#qS-'C(%BB_g$ y CnܳjrkiB| -oxZ <HOwFxVE+YSFy1^ɥ\ M{4ü5tZ1;wUcNh_Ϥ6"NR<-%ͼڕ8D017^'G^gFo}ɂifLOlg̟LڪYDC;Teu l?gaB,Wo\8gSCy襵x16|q457*nknF\ ڽ${na}Kp Ezz*yNrS#dީ^+ȌiCh@i Țs58 N)%6N dj1ld1Wd Tc1UM^)4zqt 7~MIGwf>9t""R `m2E1W\@SSsw2g.1)fA:(ɨ !\:*cתVS(??'9}Ex]-მZz߼݄ƍ3Wս&](4Mg BMb`B q^gYZe3dc82d2e82e3fc0e45c888099d75f1e3521be053427243aba6cf13954f2663e89dd0ef448f9e0ac68c4e7d23b07760164ca7718278c40b580a04cd4  ZF