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 .7  < ]% HOL-Quotient_Examples:threads=6elapsed=32.860cpu=47.868gc=2.748factor=1.467zXZִF!  ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%aCI,Qz͜#Puѱ]713˅o FWǡ*i%#]sR,KG.7Y&z,NvJ um.X?HPxu 7Ř'h2hFZNaicUlG7qk!20/fm,bwO‘s'P/K )fZ9TbCdN0qB_AE\'*,$,rr5MK$I AMpg^LdߒS2d<}֥llu5PpOc;b$ _تD:6*dVBiF|~e?MZS a }O{#.Ge ?^+[yEKΈ;9L rL\l%WaOL-.Y,IUz)"ݫ@Ӧ ՙ0..lC‚z:ܻL%H u#2z9%=Bh?ZMXò3jm*2fۓǫf#nU[8ؙҳ0 |R2w(=VaxjdH=,61ǀ`lx5>jm2)qgYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙XOF$BK//.T Gm;R2y+DFp_cߌd-NSj^P=JQL5Ɲ(ON}Rno+ # GDɗ~S]5Ηh/5}=)x=x\s Wb<\Nj([Ž)_Ҫv[F9;G,4M ͞nDgYZ7zXZִF! X]ŗXi%96.v G) ZjI~wSl]j(<7'ZwvFlp_(E8)/#R ̞kpj@I[(+.xՔU(a=m : UL\C0FQXPwrW#;]Fa`t)ƭZ\kjink;-\M#zS.!JGdg">@"mk0G#]2ҥHAՌC6DF:ɗ1#*NmR}i$PRGI0U뭺"ҥdM-$ jq*3.Q)_k# .鶨LsMnn5O}Jg3٭МB0+ BW_ ^h?'tW]s{m8#4]^4a|TwC]_q=^#& ˯y,5]kݝ!D(d@˾b&DmF:8_4F0.u$ R Mv\ [<1WͳGH;2stejlW*(m̙\CDž,×S2-6R| OYXꪯ ]4n")؇Eai6Z N~0B "νA$2V]cNk Bba7,3ˊ=^gc!_?ErgA4Re9D>JZ4@]P0joN7[haHyE2A~4b@,-tM wwf4yrl/f0jkXVWhde$0J: kTHGЭ9ʗ.yi \tkKrGfifjoDX*U$_4>Ǔe"*;mܐz nd<F:Q# Ѣp9#wX_wͯx-Ֆ q)KX=">m܆E눥9VQ΂;Zi? ]Zwc%zU ~%=.U!}g{!lvďGtg% Fd!a-X0f?MQJu`8@Lo,v