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 f < ]S]Matrix:threads=2elapsed=43.899cpu=76.796gc=3.260factor=1.757zXZִF! #6]ŗXf1-/6vR[Uy{n > gA[@L \A&|XBSIیxm`jpH@ ?4=1d|yǛt'ҌSh?v,Oqg^}`7'nMc$d[}-j.)v 6;tCj=;2Th@1ط}s&X ?oTt:/|ţ3$˲SBj}qڛldO;?Ʀ㨗i;X,Wj ]N/*z@9\YxmkSș!T/Iae#ÁM~uZ   Matrix̭<٢:ZWGg:486ZSĵ#,10);yK8^QmBoqCTKnk,;DΌ,mj8,bEnSA%L6X# I r1=%| TnT IY}|z6KlU”Ya}نkX$bh#x 4uYw)x2 mp7^!@1EF՛k?agI v2 P޴JY&8D,;(jz-ov9$Ȟ C+Vhx 9|Q͟ L1ޥ1'Mnw,kY':e }l׋l>j8C՚2`g^ǍMD>Bvȹ4)n-Ae#sPg7[RF~*̄Ō>f{rĶEGٮKc}X$Ga8.^ &JSVP5^ 7uunx5)8f/R\% ;=i&>m긙-tfX8 3SX@|6ZLpf9?zX"3,igyƆt9FֱgYZ7zXZִF! ]ŗXiɟReDH$ 3gE= ?4ط1?X)"2^b:S4z8ޕeUUZRc|~mБOWE]"}ҥb5R‚jS4}R*'Q.6YKβxr٭iߣw"WxkEmBoVq;2aɗ~٣N#x[kU(剃|[ !) &=KF1b\&肉/2Ůkq?R7 TLgYZ7zXZִF! - :]ŗXi%9(R 6rG3;1}jʜ/0kiu˚F!ʴRcx珴GtN/<8\(zH~'\Zp^gÐ|x@ois뙭S3˅T(6k+FP{9[0zj6;8-U3F1xBUÝs^a=!tg-3u|?k9f-WJylH0ډ2(tuj]=(oAouVf6w-tw-kZXpm(yCl{hF[_ȴqeÂsֈv{W/TNlM܊-xJWWTQ[pC|?NF"ѥ6#}Y\;n*h$ 8K 8v72k1@27;6gdS _y<< =ѪeI77$ :<'}g$G-¾r ϝIMKXpbcâ쩾qlP &LSuR%V6R*4qحq_z<"Eԑ~>&PF˳Ӡd U׋qC\鹩" z%T3|O&2W$z\)R+z&6J}48nȞSۅ%Ϡ*CxǷ^2COtW?p}d[ϑ(u|ޯcp7&m%Ҵݡf>9M]̅w)=Zc($@9~dǕWQ;6֓,?w)_/,#$ +ʞ<߅^):?ǧ.1 C=P ݃Ʀ5 Q}`=;NN^^ j.bw|SL$|1jwES^bYp1bc9|UO\k, %1lF?g5p:br.bg.>㹣PDT ~S;r1Q>]7uSCuYCO#eg F|O|kN|!b|l+nM$>+2+y!Kp6J :b6%IM6ړ̿(3~YDE:e 0څ%TiumUml|{(ЁnY%Lݩ yx4!'x; l s]#Pi԰7I(U{+s3wr2>=""|޲yM]Pa2o!(׳iUsT1ٴgnG0|ue]oqZ6.,/GaO$B:Ʌ#qkerk+i{)̻(/]|Q#@7#쌼wxk*uiBY<71{+ñgYZ87a74bc8095187a5e90d7b51fb7610e59a2cd5a0620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 b289b2d35e21bab3230d78ec88be7bd1d162c47f 56ec07d4d2a1bbd2769fd32518e607b80bee259f01c4a03e894f73fa69669295b7e7311af3aa0041