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   c;$Ld ] HOL-Quickcheck_Examples:threads=6elapsed=64.304cpu=138.216gc=5.044factor=2.157zXZִF! _I]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏm%dKLFaO\·֗<&xċf>%]6q'v1j?7qu_~GgK؞[dJn,莓ltpa2H`U,ISKIe}=)&b@gK؋5W4tEhQ޻3JwurݱS`in^2!HD[U%<۝>7#ǻpL^Q 9gvmEK,!V뀷9AEI~sh!T pg\b^n{@D 9 [d|GؿgB.+ؒXah|l6V fB)uFT * \pԽSsqimKAIæ)wF5ZJZΡ sn?@; d⡛,,駾,YxG߯g$T>, #LlsG#3(79c0.]egKqd`Ʉ l{rpI 6? ST/\AT+:u4%Uc9YnZW'%?XoW)at9l+@.-J n(VդYWD? ͚Ǘ@ pQr »O_limaPm IK*z>R 5 M{:ӹ:C,mD}լI3gg[t6gIhpulҚ4[Xq ΁N-;ygX7O% Ž48-eՉ8jMW,?4׆|9}at+3vܽe"nIzy,Yn-(}tx(3/4O` 6A9T}Qt+$WeZVEuej6 #e|ad`xClAYm19@^W]ٳ>ieh2{ 8.Ѿ΁H)PY2ǹIx`rHW lKX0v` M9=7wmQ.3((~#*o}3A7*=w3MtPU#+.7Ϩ-prc +L|C5͛ (C(l!ԉ4 khUsMRyOi?f 'c$l{>Q/& cp}- 8!N(| ?R74c4} ) GޖZ+rRu~)}j Q -IrC_:[a 4YePm#R؃Jvx&>Pa/?ŝ5<_yƴ;zwk:J'WW>~hd ;W c. \=RC$< 7G(5'KȺSȌCɵAsgŔclD~0P9)Tx3YF Na,.2ARlM>RW9I0ѓWȳ6k}ICf&X&E_\5Zwc$?#Uab&;FWShbBZRdt^Qٙ7涌yU`4ZԆlƑz33/ ӼqYk! ~1>UoMvMS@Ph}| ;&sʅME:g/H-2+o'X&eF*jB.UqWCfLpOL'Q^紀wf^rhW$E(,jlgrs*)uUnqT+Ӥ flwK4K3`wc6 Gm9`Pyq ZoaÓPZN8ze\*VT]U- < a[.$ݻ<Yx"'sB)+.v:J[ aA%(blNeFBzu"3DWCVmg3[oEv@/} ,!Td_*XAހ̠_ShtARŊ| S J*/-91y"터8\M A[ Y*Wj JI,Bwzbm;TyKt^|j}tD D=9{jY.I:d~c P3D%͢7% y2?ֵJQ^vp]i"5AD,/o>O4Ӊ}JbucV etkG$hn)RnatYyQ}~N\qɠiy7wdgI.$IS[[j>Ć 1Lrv8 DkzZ2JCAfmȊM0U[dڽ:ƙi H&B6S|/ / l5j*.M}^B5Hx"dnFS"}'I-֡+;d7ָ[N-OꚡC @+RdLhP$rwj>vI>NaeybHlqz]'37 6q*9|i4+$Ld*1t_YjKw^g>R}9{5]9 ]9LϢ+x@F#2-[9{DF,$Ǘ PfmK,W~AKSLFoޯL6!5 w T_c:NC!spJݢ-*1H @@P#j@Owf4%>k~.Y=^۳~J08et}|$IdytvK#@،~ٴGc@x'ANmW4:ia`o$AlsOd!0ޔXuŎUn$7Ysӕ~kf:w ֆF65{k#w| J3 ߎuGnEb9zI23I"ִtjOdgZ2fy+siA[FGOSXf&S$mw(.\ɶ%pf&/Wl^da˭SijpC6Tim3\dccJ͜D#x t9:VoG51j6$ӔnYu֙ Xef“w)0?ӑ_{;04~HtxgYдQ7tfhׇjڛ4koºRBQ,! v]ByŵIs,nqI6-,/鼓Ca*4d#*@P/aO9;t޴޼j -a]*&6w"c/~Ӽ1Ǧ>{' vgqD]{{隣[svN7h" KLY Z.3f>+$CU+uCjރmb] 78>aދe )=U j؍[WP$GSEeZ|[] 'FNGI&!%Z0!xks۟eH#Hz,\sG/٠ ZM_o^zZnK.pzGp 1u51 &S Gf4;8ҷ-/5EK$_喈Y# Z֑gYZ30f013c2bba0dc6e11fb12c4868c34b04c98d99ea46db31bb55395b3dbdfc848f24a96e1b1255d76 d3c5454b647092bc2e8b3ae36c1c54bfb48075f5 2e8decf43b35cf896067cfed44596733da0cc7d3