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  G G.= \ ]w Probabilistic_System_Zoo:threads=2elapsed=50.517cpu=83.544gc=4.056factor=1.657zXZִF! %]ŗXf1-q恈<-¡$j2,xZԵ/,ޘj>:q]ddPLYBVNEi@7L8O8>4wtxtG1>Є9vsYVmϬ <ذ5aFa}Ɗ[t9k =_Wф<WkSVԄhd h货w>D2=94,K7oLT lfH蠙˂z-Q1eUOMw9sZ|p>ܾMg\H9$?H/kCSpN9s%J2:?`:Taʧp;- l7 %ƭI[`][] Vs-,@'-[Qf=x? -_yͱ^}0q2vŞ&\_c^-9%s('ɧbjɬT mA9@o_X6ıEU8吂6|6ր@u4-i 1|thƾ`Iۍ{3o = ׎vۖnh٢m#D_v]r9[[윺sLr{hĽ8+"&q])ƶIf;aK<9έᕌZYVDvcΎ"PȽaKR'c_;6b蓾)[ p-. dSgYZ7zXZִF!  ]ŗXi%6\.S|kBԫKuSPx;RmM*r[jp\bXn]6=f?p[GAp B h:o:,gam[P8L#ӊPmZDg/88:{F\vc= ӕcd[& TzK"p+D%2bѠs[vHݨuYt~)~,qf}YbKA9ՐyR{BfU*I]ﮍa 3$4Ja;K⃪yJvG)//-W/M }ɒ0򖾨1O }E2Zŝq8~Qfó:>d8?XrcTepdv/^Qª&S߁t:*n}%HI55|zAW`(g*:fgTӰ K{=aSFB*~0}̂®l(xr0S,jԄ3tPqld0]q+P%VToisn Ո;;oL/W^r¦q JF\j Bm[W}CQb:qX= :?惋y,?:<9;!}BٕUa8E0k&=`BfLF]晇FBxesӊ}nӃ<@49B;cgWۮO@L̤q!pIS%!)2kvW80^qW?nL#KECE} =Qȟ8ˇ\"RP{ <9յEӸ0w 2Ƥ=@fuY>ܔ8`薵 /";&2>,"O.2+"OnPa+m/ȩkӇ@V-V^F1 [?PK T<=R4>~Q~J$zpt Ote,Oz Odgs{i\ h}#0(CDYN{q E`lL8;B662F rڵC?l?U Z*$xxI-?Ԙ2RmaA͋aY,A&зu>Pw}zd) W)h^(|Y{|3w;[JN~%G׃ϧ! Mfȼ)a"頎_rl sh(7Of%Tm؟ j] /PBwu4^.OS ;042*Twsbz 2[?Xu~>luӘ'("0"\\0hvKocY:T`f>u:"{[b#rʙuRTk4srT)jB[\=9hW kUb"ר:ȧ.} QZP#z9,' i_Irﲈ"nO4]m洮CDL'~ЩZ]qYk-Rr}VXey쎨e )NCV-2y)m|.Ż򇻺^ !zB;Fy5W ḗbϟ=l2