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 It| ] HOL-Predicate_Compile_Examples:threads=6elapsed=46.286cpu=148.120gc=7.896factor=3.207zXZִF! z]ŗXf1-q恈"3UUMѺXS8*Up& хv+?'X<~r#$c}UV5@\AL :19D0aRۭ"PC#A1cOz@ ͅJߊl>,00.!oP9m{lڰYeu[T|=(z-WQ^{ LfXvj* ?be\;_1fx_y$D{)5yQĸZПXڧgCz/2`k {o%?͞v A"6't:Qڲ'oӳ\u0h#י}Yb Jﮫ®NKi0HEPf0eEw} `I>+hL(k6lݿfQ@2\q_F b f|4nZ(J^+R1pN:WR5~[-l0@GC<\`DR9;Ax|cKDP fb jo1S =to8( P6BfH3oJ\Jp+D( gvjh2N-ȍ %eHT),m"p ͎-fkf:B rq ձG}y68S͋@;AC:^UC.].U-&KB gT,~rY$/%޹Ӣm. /3w=n z|}遂F|ы#qԙ<] ꄏ8e'Q 1)*u@{](r~^ss HxŬ}?Pnjs }b]屟ZBX1C Gd3^m[_:6֜'0~vMr]TߕK^cQ;85!y=oN±Զl(. L@Ub#Y /ӢzxYP8n@T/ T'D:8&:a0_6C2o֪F1JBKC2 \oÒS /Wr; _(.g_ *%ر;Vr2&/GP/>-j #W1s,9YS-& STI@5IK vV\RH#sP~h uy8n7 yToی"F7OAg֞P 73!C7.ŭh呧^T`MaުXS|_Y{CuFwK: s߁ᑠ>؂Ƥke&N"ux$Ɲ|n!7[⋚~z,'7`@3G2oD^O7/k#XPԳlw! 2yo 0߃4lԚ ٝm"ʊ4Bu~m`@)bŭy˫D@0\2]&ᐤṔTI}!jm+ NycimqPU duϨyi7GZ݈y xplsΌvs`o@#NpMwyH8~StB> 8Y''|x98Eh~ZŘ+b6\Qwsd [vWAo_5N: [J[5mps3|!C;Vd+0.# @r&skc"& !I HOL-Predicate_Compile_ExamplesD8eEC'zè׷Ϭ4UK%*gIˁ!9ǼRO="7AN?eZc+3|IĔ7\_. yrg]T-D~OcFg6;҂Wy4o3-8 1[!ZOiX{Q.3F'wbYb_~MGt M԰7m$7m}p80/.#D)^wKɈ FZ{ - gYZ7zXZִF! []ŗXi%94:c5}u$,B 9YO Dm5eߦ"sۻyJj`dqt'M}6F!䋐_ 2P Jtf+Z#@OLxa|@S!G3}`WA UILA@lǥT3aH#$K#{m*!aG E³wvy(GR,Z+DAI#wg+D% \q~cDîv's98Iztp43sk+.w;9ygkb=Z Mq~ d(#A+Kbm13 .^$20YZ="7ScqFxvg`i,^&ɕ T6JuGQ8U ~˚!]֌XQo 76k/~!^?+FXk>S Cͯ? i>m bAڑ&1p#s/E[:O#24l򀒂k¾XrCb3`?F WߠXKJ \ ϙ OmZ*(\}2riɮԊ"vDɮ:28BNG :,7߳4#|!2Jq%FlP4W< m*_-h^!FW2-B)\ҽDRihL DBTڦ:FxOadF)ҽ1i.*Nzejh*邑w#-m) ']kA4$؍ h?]]l> ! gyrsS +pɾ`R,fDSf:z> [3=(I= AR &*Tќ$K*6Ȋaq^ F H[uS4T_Kߤ>1m ǫlp"C[CܢJNM J7.хZO Tӵ D-MC;ltV| 1 0?4$KWVN\řD+w>7e!Hn\lTV=79(VV)89o)g^um.X|j<1:u*Qku=y'tdi{ Y@;-&4ɣ/{pp3G206n(b>{W *$, per Y϶z O%4tL;>WwgHT H}҆]EYKd j?I?͘ iN,֞8%40a$!E+Jt 0s_xʨ^Ku˒ʿM9/j&?Lz $:&_1iFl+3p -Bx6"/?xy(?Nj@JW8of t:b@6:KЏ?#FJߩlcʔ> 1UAzϨ1.z)q99 0fMs|or!ZLWaPbPKzXJAYŢG eE }q!Z$~n Pn6 =jtoN]Ҧ)׌Ͱ՝>Z A-1㒟r(1ZASuuȼU%d~^22ac5 "nakӟ3ڲV+¾ŀq<a;Q)5# >uU152| DYzX.Q ܢV)gYZdecd65d7dc249817874231f74bc0e50f8afcc095f854ea4eb03a9c8a56164c4c9f9900e0cc800a63 2dd6e587916382bba3afcf62799d4ed12fe0eb85 0b5c4fad93a63d638535e624edb4f37620e0eb93