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 bILl ] HOL-Predicate_Compile_Examples:threads=6elapsed=47.980cpu=152.980gc=9.048factor=3.197zXZִF! ~]ŗXf1-q恈"3UUMѺXS8*Up& хv+?'X<~r#$c}U@|jdTeY,1h oL$8jѧx[ʹe=fqveF>Sg(ܙCq(mklOUݧzR9<\]04"7_ =QP%@_eٽMRhzo ]Kd,q{J)ϑP3lP@ܝ [} e6Ncvٯ pE#|C+ ۪x/EB*G| u)C*Sx 0͙Ϩ]K,DPS)= c4.S$&(ѹ 8>D0@W(ZxwoLr|6ȀW%*bLv7:q[`FÆ/] jC+cV#^0Bki46(B3+ev6Zl4/@.`GT5h&>dQ /jTN8ABA `Qz:I/tSU0ZH;=(ӕ,S4k%B ǵr6F3S䃒i!cAbЎVX>?zG]P*%`޸vّ2W =%>n?mb⾂е.B,2dՓdQÜ@Wkve߮=(@wv](r:Qq-ƤQDo'=/p!hS˹{ 'ꑫV S:-O0r$~H) %?=%Bqe/.FFkxLl)l@]%]Dv,`ɇx[:O9R @&[yj n gYZ7zXZִF! n]ŗXiɟ11"7l>_5N: [J[A΁٤Ұ̤|loDa49vVG=b̅2DM[;,l׮ >pXDp3A8s?SzRMSV y ot=>Oy eHE06M\PP zN>z6CDJ=(V"Z`X b@ʤElTM^ RHSb',bV>D ߼IgYZ7zXZִF! ?]ŗXi%96+*I_#ooRݘP66Z TfwQr 7|//ϱ~n+V@mS)t°w S(L oC}, $~ ,-H'YBUԑpi9wAj] F~ƂN&M/(gO+E,6m]j#_/r)ԞYR].;?Ҍ%֪`[㲾D kRMo:6XF?z)/JbqP%#aO[n$MGUۉQ y_,T͠pvYaQYPىmCcxv϶aZJ k®QSWomiZ#ү؝*& cKm#*oa_kRW`to7@!gZj n"-Ap[nzf>eZu,nU?0/@hO%C+Q~.˂=զl\%5sKJWiI SHirBB\+bz.ק8EH_)se6>3Q9%-2'{yi&A#7Z%h UÅ,ǵLGHzIU3FYqM!^N{(|vy3C,(~9 pH`g`2$Gvf>Y7uOL5rSHʅRշ+EXv#Y_$KCk#!yHyc1-|2ݲ\tM+k5wCb+!%r>.4J /ɰ!?6I+.e=Jcց6YF"{7(xN ־d7+~KGJAcpA`"el$ԑDBDUM#\!X]j&,參ȲRoC&{]rϠY&/l|@O?[ിU{ܭ51l#)ܻV\PӜ%|#4TeTVAEph˫` @%mv8n~HM\IgDla "9r1χF(gަ{2|/?C{kr`WL+iqO#`"Onƫ%Yk2AboF@E~zھ^j +0<7IW;3aL`TO:Ґĵ3l8̈e2QBL­c/eت#Geլ2}88|;jjQ 4둘iI MSwf(On ;qAB:xMO*O{9Yrvo3-{/CR]"F)nɑ`G"suQs lVb)<@P^JjwY%Ә:lB[~k\ S]Wanxdda?w)09>p'JV߀c=X:~Nr$4ەs,K06 3E6*3Rl)<ycG;<Hh)(r,)EHKPl)O &y;t 4qƝN Ai] 7ć%izM?~  Ϗyٕ89eYKs[J g/l)MЦQj,]mҼft ,MqSvIvS-']q5 å zE߉mW Mӵ-E0HѐR=R엧w2LOX*!; s6e}M +?Ǝ:eRo p\4Î=z:`A!4;X{ }v D݂*?gDE4vRQ D~^5V ;1S<<_`J%/VMneXH{XuA [Hh3iǭ^w+ӤWxw|/ y\KZ-;Ecw Op"nMnwd}8KCr8f']?;6w j)[C&%JEJ3iX%x}ܣ~i; ]Vefql 1&s+XnZI nکڨ%B7ŕJr]XoYqrg_/sZ YcTV@ok)n7CljQmkz3ummØgN0oKċU5t3Bx$>24E:/ڈJW6( 8Bild&zk17yD= ]\pyz'_0*0kf] ~O$Y"ꌪ7BW(~ceit6 Q\rrPwͯ_ed Fv03O߱gYZ5fe0ba41561890f84983f67c255a0981b843e0d92e856cdbc8976d5457a0edc209f4bdbd9f5500c1 dca18b1724a67012412f5a3a93399814c4427184 b769adbc3df07dcd5b16efd671cea4c743e929b6