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 A1 Tdd ] HOL-Metis_Examples:threads=6elapsed=11.975cpu=50.484gc=2.944factor=4.227zXZִF! WQ#]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓Ѣ'ji~YiQ"Ec$!DP-(yꚲs <jcّi]/  $dYѧްA[,<[K{1vI.la5D$O30,XmS2܂>K<dgrwJ X,>nnOG̦۶}+1Lڈ1;yfQz)Rլ]|<sda& ٺ%,- U g7lyiáQ.H)bW?nK:&0xHj Χ=ƃD'Mt,e}kӽT}̷Jdۀ&19/P Hyop}IꉜieLtX׾6\)ʕR#&ak!Lߏ??&ZtZx*$.YhޱBl:GvZQ1:OqiB7!x1HЂ.kqWo!cqK3^jl\?]"0Ŕg-qfl\ R$,uqAcO4ѠǭWaGTpHǻXvj!tV|8Pm (w0} :Rq$J/ASǀ/5ibXHwRepB--/4 ,,%n${n.C=0zf|M|1~&)7 Oh:O$릙se"P~`eTwxR.!UPeuzkISt|q@ZuaD+`^S>?)!3ϵ;k kIj KD [’ -b<, toDå2vAV.4ZWЮN>0I l `49PpV\#ugɎO]?7SȈ^8S_gpA,:-;զ?{E v KB@ ]* pVT16ϬzsܫHUՔ'6ʖ|f Z(ODք>ZrhHl#wJ'>E=P P^9sU.G@4RsȺA0$nx ҮEgYZ7zXZִF! +]ŗXiɟ1$Cܨ }X 6P]!ẞ \QMfrsAnBwP .^7A kN۾_;[^"ߔ2bZ`p!pt#Sj myߌ!6V bUoUHZddsl8 |(ox%t|^Q~{QK^Qb&GN)Qχ1 {ҲoCgO܂}y 2!,i32ڟUK~]0픶d ČHG!ژgYZ7zXZִF! 8,]ŗXi%ύVJ-X?Q ZU >#X-Dkpcڂ'B׵@ϐ-96_ N(ǎ]0ҐֆI k@Mhh+dVT.K;E'smsΫK+U֮I/)5<Ēuj`Ns}tn9WS5 v4'OV65^"74:@Iq9o6ܷXr9S64iਣY憿oV1޼2?߃ {Dfi&s_o2p+V +C/>_*4}-(!-&z wQ&'CG $`aSdaNIPߚ$:ݵw<yj~W_( F\-mZ<@ g1j;;ng^JTkKi8$A,x.r9c`CLi Zߥ`)qR5ʠYcyXQ,xCTvizDD¥<1 rZrαgYZ7b9562e3506c36f694ad4ca5831d8408e90fcb57e8e3314a2216dfbbb96c9391593b20fa6b915b86 d5f092271c0e51c9f28f7703e0f3b57bf8bafc3b da40b69ec8cd3b3853c6391ab26682d256c913ac 1 HOL-Metis_Examples