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 77>I\t, ] HOL-Predicate_Compile_Examples:threads=6elapsed=47.958cpu=154.424gc=7.972factor=3.227zXZִF! y]ŗXf1-q恈"3UUMѺXQ55H&Rz5M:G(|Y+E a41F *9ivM9d?b"%Tl.#8uzr_-NdvHnx T˲+lqf5:|/z(hFl2ǖ@lV "I`"uȹw /džl#"O[9x&"(&qع2{ f4u Cix>cp) w:Mmh#WϢz ,wn ~hA(Y0* g;g!b1^ iI\d;Jo/:.LQFQ/J&~/rB@7@ h.#o laleyKB ?Buy)3?PeXoOi*nIh)1;TwOTdz0ⓐL<`qLO]M&'85` ϣ p/dm8$ybq"vq\T|> 5]tYPf69ϵdV17ODٯ &,ӼR&ƪ H(3hmX]$F۽4T]בXk`F4Rm44ԯRNm mHuĭK,Mqg:ЮۮuLڂ.U%ja46)fsnoouF{O9}Ug)\S][U Ci2QȒhi/ sz1E4G+3;Xb9-5WGP,(jl` FڽFIVO% m ЈI]f:x-^z OE;xPhpKmHbD]Df+̴okJ>`PC|5ݨ0٤Z*(i}sruN^_{kmqLZETHs"Wa?waN3B% 7X>-`t5MLIUފ:[ h&ijL۔tPbv(*+n:|i*At2gi,}}p,嫜ꯥx_ةdЁwMburdkc'e`/.Z%DWSڒ5 k3~a(;Mϻ-؅/`kIgHV%̀X(׮mȌ5[%ɒ,X =@BaHl<|R-t2!2QdZ؛Z+m}t PID_5N: [J[6ğx̏*bR-tL-r|6W(/jOΜ(nը s't#a!D`1ϓ^Eof[-Jʃ6"4G&ÝfU0ѓ' =0 u9o6WӥBo%֛?U7.9,1ᒗ2YPtR1Ե1҈^  s1T@fHWX Dnu'Q?K"o N~P秺L(V[txD{FӋzb` 16\Up5)<9= 'ڗmp7 #嚧G;U 639P'Pw_c.;vgFTOL9R;#v@-lZj>0dfNRRRC֑Q3LDP)ޯO&3u#|\%!5]5 GR7rVY& Cskii\sWD(qgOAl] H`Ljb޽靑h.Gl쀇ɻp[]>GRTɁS į<58mv%nIMt]i[k;@?g%٣yϮ@䨄CYB~ tH'Q~Y{N<#O#Nlu[dNT w eY8S4&i (S}7E,? Sl_8>''эrjsrA|DGJ6G0?'= ryڟ^1j5XEbMԒY-ʽ 8S &gUf{Њ/EQVp%G dB.qtY4vdLKfQ ׆gi6n9W.* jETDADP˲{&_&3CaXẳK=mOP/,, 䩹C7?͢*Q? @q#&p1Z4Oko*3e^vCGÚ)Kb~͙.Yj{ HXj ѾZx1O~b/GtVmS pp]L*N)KV5Toe1u-޲Sw*{uCo|Q)l@>ɏldojv ›ǎW.گ]r::1+?ݽV}HK4t#-+m\: 1h0QaZ&bG۰pQ_ހ^0-beuw:.14fRA^zS,ܤӯ-GQǤ_3ע\nfj;"\w8aW/A9ŀ$^sު9[d&fVk6z;G?XK%aW2}]rӸ7 R-`ӢN<'^#J |dSjZASv@r~鏭AMNYhCq|X3psQl׉D6p 9@mk|kL7L3ei gu4h1MuEMhf4mI nb#)SKbۨ^* z0%J߹<H *ۘajm4iSg: Z'$R WAVog`٥~\xQ|}ef0N2o׳`DW2aur|u3pZk[OΩa D Osc WDALڒikvw: 뙘Uj)2bpEQĿϩ^A.)>)kAOϣ>1 PYR=_`@/ffv!X,]c؇NtZk2P FgE Pd00o~N(۷鬷ۻ_bwd_j/'k"6bDfX {b4JG`Ofr%̔ wt{r-w*U`%.`?pٹZeb~Edx[1Gn63s~al[ gYZ55fedd30d44a50e9bbbcd9852e2662aeda9428670f50a8fd984ed9a922d06f59b224a37ab44e72f2 fd8ab938506a6adef84d05e82b2423fed153db7b c628637a3499d28ce3d263cb68d7f9d43c04ca92