SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 tIT< + HOL-Predicate_Compile_Examples:threads=6elapsed=48.175cpu=159.100gc=8.040factor=3.307zXZִF! a]ŗXf1-q恈"3UUMѺX@Mk"IA̸KEgPI$G73bq͉ǩCm A9rK?suy^: 8z /bՁV+Nw:O Au]C^p:zړa~!TKي)8lSCѪ&Ԯ' Epd6/ ꫣfAp.MqQ|!/0 2al6h ?hƶˊ[s$]`׵2Q0c$Z~e0)]@lgU{ `v,)jWz^W4U«*1x|tꡛe%m⺕ʳv HQt~MWłt,{lLG\#Ϭw?4om'L, 'Z nYF=0f_=R%zVU=an^C6AF{s[Dg[ŗ/G.MϛܞQ^ 2?u`j |ZYKL/D])fY5j-2E+t2rg'mW; 8R*蚘<ڐb@Uj䇎p)rgW7dvh$gebh$88d$#.Ŀ(6+]M$cjदZ*gw/nNy7o Pm_[bz_Dv ܻW9JF%/ ]& ίTxnEr^WP`Dt"_6yO V bz_N;]ŴGyI1iM:O>irw$ڞlۀ.ti,y`~b8P3;r=Eat0 {VI`;sݏY4Y&۰Ւ@02Ryk%icnaK0=Uǀ gNB~"+jϠCLm*q ȕKS&y|Hd'G2bmuF}T[GdTAT0ɟ<74659_hժ74|8?ޫ3&j̬A`͋ 5hT0A[zVzNs_2^7+^yfG\19}=US!*MAaj$Q(Bl<b~- +KGtauyMI|3 By8=WX{-NÆޑ(NpجyOigYZ7zXZִF! ]ŗXi%6#c#+YaP:Ca~@%rBdygն)8w\m8ˆF4 $ ? F{` (~`GU>ay7j^Q'H(6PoTUJg! 렴H'es@mQi%_/C6/|u`iKA+H^*%(oo(W@wN)]] Eƒam&)~C )|WZ &r&W!?O.&E=R5͉f ͆ IkŲ$AԀNonRQͼTU}яDvni9%ݹ*>]mͭet@{{StN(o=ܠ=ݞN1ΐ򽍷a,C_H`.^Vl  !I HOL-Predicate_Compile_ExamplesYs,W!`ǀrC(= `릒eSY);ˬܗ3<=ҫ, #;i JaG_WR]W)jʩ4:44u]uO1f5:s<[Wu2ߘTR%'8\I=#, ]z kFqG[>{Z^^6p3b2ZTPmT6>WplK&UNH\ܵIu;X̕HvoAXƸy`L´iڬK a`St}2wz֨=zP50xr6@ 56vxag%׻ZhD]Vwg(t>T%ߤq=kRMuDc]{;Rw71;<Ү;ZˌCu(xMkݻ]sѿN̷wJyȥ_cӥsj3$'iD%Eo}ח!j!e7\<6=HCyЖ0/I;s]y_HY%:*Hw{!f3ANƵ/^NEH>(x6ض\&'~`Zqi̕;EbYm`).Z՜ۏZpjDbrNv=v@w=,4\.x[lthu&S a{?,杍)1J0u=EF&|Y ü"L 3-tˁ!HoZxa,+oң,EٳM-ۊw"~۷Yrkˢ=: ]|T+mR?j^ɉ#{4^ }@PK[z[[Os&vBZIrKcJx=;,u$L |PfT'C!}ܥÅ-t#<28KxR-gK!3UWJ< rh`0gZȘ P؋e Ol8EaO3g2y@Y[DsbkIK7-?"vH ?|lg)5ìzKN(@8he`QQPz75=5bт'J9#0VxKp}?ْ=it3׊Jycl'ipGGx Ħ~߿ȆSdXH^M]B*(9 '}Zze ݜP/eS^5Ðb372$. ]1/ U "x5nvo$+{f<3uQP<%k̳n2%%vW 7 _a}Tke<@*91fXۚGLoKiF:1|[myr8y(Pxsk/%&歹O k4&-(G()p_)z+7=@]n rcI)Gj 4bHU>(_!u< &jbAQgJ 6A0i>.߆jppAȈ ]=xB")rLώ+̯Ђů(%;Cb=ۮ>aǐAw,qP&Mr ~~\X{l^0;Jbkѱ"P Fo%/5b2d T?^;U_ V6