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 $ L }/]UPF:threads=2elapsed=32.392cpu=62.008gc=2.392factor=1.917zXZִF! :]ŗXf1-/6vR[y,o1=}8qՌ!bF)K*ȡ8DGa9X23OpwQ;whnSiY.vT0º1k7sfqmکrÿe '7Sy f VBP\[Ż)-iVz13Z%+᧢7< -:]?>^ռa[a]% ϋe0~n>8 2 3jꩀNcBL!H9ʺgSX"XR:5eUk$Vx!c1$nuY@kF mK H2@[u2 W'YXGDU{)vqE2d [  ;5:*t%P_i agI.$@NΧ,WDi/W.$!kvTFw̫";lgI\CYbYfZmÿ#MwUŁugŎ"džӍ?(s=2wX:^ູL7ndq@Vę/{-|bM!18-_ufb6?ePX6,5:ҋm{uRD %ZĊ( ?wPt:RFas,H./P5@%;Cz=jUWh`A|E2O8?Ok}LMM"X@K88xܱgYZ7zXZִF! ࢢ]ŗXi%6x`F[0b ނd"wnՖ䵀džYd^K!x胉zv:/ܢ ~pr'4;-1.-/AeORrb=1|2dޢ'^A$o zC/\əwNߑU08 gX8nvo"J&)g>vTOR84v$9ź&,z)V'?eӳqH4c^~q/r_z&>|rm=wG\rp0趰?HpUMkʽE5E}}.KTx: ǁ&5jXtճ ! _Z(0'/Rtf@/. xqy<gD3h_Ȧu`bΝչb2g7,B;mw +ڽ#Rs̉# i~hiViq:1޸v,F3o2)Qk<$YC-1= Z8UŢqL{.cb bW4&wfw#8b[ib1B\+NsO> 0[ܷQ*嵲oP.C }lc{NUhKh}D$Tn?8W Ԇfhf+32\OWp)nP-jsy+\stz=tl LZ\=),rT{2"4}m@ ]*θsy4#8|(|% Jr ={Y 0VgHHc~1Yx07) W/ץS xYPqNh f]s`ȍ?Yf6t5\y60Ĩ3ZYR]2檳6L_5A` ]jw=ilm`0'Ca^)Q~rѬY#V_#)Їk=ݬ#ƑPtJR{O.G]:Fu}u<jbAGzD&o+%c$Ѝ ޶gg73S L+9oLZc#ᯩ">'Ep'ɑ$baAO )s kmD[(\,к6߃u 鐽ƾ>a --Ȋh}z幼mT^-lg!ُE\V۱oҧݩ8u{@[{W'@xWIuY٢$_B\+IeU%q[;D ӨDxZϞ9K\!8k?Fܧ>if|Q >}+SA.t?c@rOV27?tF~ vM0)sJ" -Rr;X.C;-Bϸujԩ2t XzhSrڶVݮHn*:AnY/M%Z͐"\kC[@&$k}/?YMKQR\fb`;utn2%,'z))u~QP:J