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  > >7/D +]Regex_Equivalence:threads=2elapsed=62.132cpu=104.420gc=4.944factor=1.687zXZִF! .]ŗXf1-/6vRZCV4 JpۚF։}fj.gP -+e" g{L1` 3R=O<.Czz->$#U/C(v'/E@Ya< vHCbBvI6qŔWh[>%*#T}CSw[D^DAd24>' ,Jxmxq F,p~K$Zbxb߯EJ f]Ƥ ӹۀy%M.6#!!`A;>#U^Zb{{,/@!y*{ͳ ](<FZ5(A8>Ÿ`o==S_N6'/I&#dlfc~Z^kvA?~H.&hBy?t|⿱vn0җpgk n?CʁxblXaCGtWBSiw$@-m9:VZ5P'9_\U*a䠲iN/)td9fjaЕ|tحE J! t#UZT]F:9I T7k"H!2/ !,^Qޑ'Ta% ;2ZO aSrN1U^: +բ]P"9Ǚ迂,A53L/Xg\щS15KCEGلh%ڠz ș3 4I\#GM.̋7H)+TVW>ⵗWIe?j!᭤iqץ|[Irpau[v {|1l /]X:d*3d %.,Yntվmt QJz_&{D?r&Blʦ$F?YH M;'UXmS5m1,;yh \\WgYZ7zXZִF! ']ŗXi%6ykVaK]ל(WM.WuK.:t q745/!ڤ&R~ʲU\u $Ft0 Q >o6[T+ȝ }WFnD,gIyS/MKmdA7a1,?3y<~Rp1 .e?}R $iP|{CFg',®$pVf&d<|J*~NK,2ڃ??^>Qi)Sj@ *=7\쬪?)xATV>Tf[0#TOXy / Regex_Equivalencezg̲D6׆r2lF:mH p>= %GOb%ɐ]̖)q-N&mK.Wz=~9}j"kB#sHJLǍ{(O#)Eoa{ߤHM{32`LSi(}?8cy`t獐Xd{H/VPuF) O.kin,1CeE[Ϝ2MH$+v@+ t >Uh_\d~AmqE_=?\*-M%R%r7KJ+WoZGuFFO_OaqxW_?)ꚈӊZt3v3ׅ&N1 |c<аDZq>ZƔ6L@G*j*ZYoCSj+)(Er<-v>aA41nLvlWW911Y:^x/\Bm:,OʃC^.qbޅ8a Dih233IEAE]byhFt >/MmpmɦLMhVBO8q8$ 0)cW/@i0; Gݭ9neU+J 5T0Xd\GQi͕Y70JTPIpIDfD>)PtLjv 6`C1eD@ r0OBf{OXu:QctԉrMBv:Y!dMԚv sM6F~Yӂ clY[Cq %΢%FG} .* &m&xTbf:S, `f| bwrsfՠ̝FAv5ӇO޽w䀙 짻n0Js.AB.b.G*zQ< ~pv4Xfe0 ˰%XUS SJW8QJ.PSsE${sEhWuP0 6l/&vBVi_$h:mpԶte6lh3L`ωs3lb̾ i\f1z^O R-H js?Jm {j5/˹ǡoggҭ#zgjp eMXG8UqsNͤeرIr)}8 1לcחI)cnEj2uXZ\y;ߏ|⛞rmG;?!2kxAN QNA_|I^9 37oQmU%Uu5W4B4aaZ _xr.};Q_Ro .4#.y_~–VM7Iߜud1%h ;2&& h#R):/{)t(?5RK3j!_Q>!I.u~cײcGS”:i>3j )woo_7P56;Ƭ|auK87.MPe)-֖GQLX1ok 8!%:mæd<%3u[V.yN^ci e? 8N4TGd?;kR|V )z+I%Z,Q2;Q]ɣ)PI5