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 UU G L4 s% Probabilistic_System_Zoo-BNFs:threads=2elapsed=57.488cpu=99.408gc=3.872factor=1.737zXZִF! ;]ŗXf1-q恈wX87cģh7Zxy݇f㸭cV]׈cy޸m&MV jZSr1 N./ޠcIjH~mEws&ӭ8и7'7/bGșKi_s',G!K0a_Jρ~?" Q)ovV mK@(V^<!۰lѨ؀(Qr~ë7U} 0peUlEѧܣm(0GWM8I_>0g\A{4)fYl0whά JI 'BiTWɦUS۞#O [˽0Iۘ7Auߐt.a&>[Ou!xXtQ:؁ҧ 1.|o,gn稤B6p B`>T FQKЮ{0Ǭix$B[˼`@y>k`WaAP{')GBU,rK 'HpבQO8,A9WL^0Kkɯe.N5,N;8zB9 Ac񁛛EVlY\D\yQ(ͦRkSo-M2|LXEЃ_TF@<ڋZeqiT?b W[e;We/9oBPر`m.ss>ckפJvͦcS ws5˱gYZ7zXZִF! [ ]ŗXi%6C-IEkcv1$[7B1Պmz#R~0w= V=WYhvn+.w3v`QOӴȧ䉕'CV8QW[e>Ku ͉&|H$Ώce'O_4-oד-~ya TЇ#g{R_f^Tո(9=#Q ױU%kM5INS)E [T1 i}ߏs#w? r>1A`!-+IYŵ!.9h#P0 bUqA|HJ{(9z_&Psdp%G+cjنϟFIXЮb愖6 agG!&:WSsLz4{:=TCSJBsP{Mwv5 ܬk8B_Ws PJorMif/! p(x)cRmtLB>/r!kEBw>lA K BTw^B+umלf̈߁R>:84CHb"#EE8O>QMV┡`gGV}_Yx8t`lynX͙+7b;&EjL%S0AaK+H+o V.0r*3 ƳYobMho?[o_*cSa}Z&6Οw'W_cvfP k+Jyin?^:47bp Ch(7~)ALk\rAsLX& ùXDoN26*G=SeŶQԩ%wFg8MrQի6NdiIs+kWe0Ͽį㡘<DAe,C_RXAX@Ö*럇c60ڜIJ.x >:9?C]/U=,W*.KPU0@>?` @h,7\f4/ɶɗP),qRYg+̠X$3--9Sk妤.'>JEFmWBiyxɯ8ҁ) :%oUƧݞ)Ƿhx^9_$&JGݢ#P>^(+YsHpl}"6g_svUu3ABAfO4ރb}ݸvq=iVE0 A(5|qب[݇BhҺE4ʃͤ3H{m(B 5ǷjN( gO.Gn).0jc&֎ J* e;ܡԣ, n[xn=%488VPZE՟wDQ̃Ņ[r,đ˽1Iq>HG8US !<eldhXyeeQFm~ cIHƃݮ[ WkBՎ&̳wˬ(ܐUpS;NQ=x)wQb[ɡX{H8 ^"<x+ '˰";PBe Hu;/8?XtaN .a*CyvNY͓?(;B(^ā?9Ahe+cM8T]?5wQekuK x_3vkG4Űp9ߍyM' %2#ac]ƧϬ"|^De)䂾a9ʝ]q7HMY>$|L-NEef%ٝKŠZ~ˈ+wL(@ѡCH+tJ(`M.,zeP/w5X;窏cds _*uNTJ1m A%19hUZJ3c'kVйKٍ^t\U3 )=,Y@5XU =F9ɿ2&Yj8 rZcpD aNOOӠ{"/+@a p,ViX9RM,̛+"m%ix:7=4L~0ll 0>c:״ G:߼9Y\ 5~bȂlȞiWqřkUv +p &1М]g+}7Ly**" 7 b+Y-Y{\N(1C{/!b*zmsi+gz>?LO^.Bχg!I.i~vx!^s=jk MvmwAMk*@=Nt6 HS2f&7AUNJTNH|?8D'xy6UQ26mn?~}ΰ1޻};wVmRTB(MJ$´0`a"^@ *W ]k޽e^-Z>\m/jYfƍ,|2^"5tTm8@4/3w >,ַ-cGni ܿ׳4#s{-1Ѣfbm_lDoMA//tK_)&k‘}wG.{~B .ۤA݆HJ7pd_rj)w`-/ ^ֱAԙvv?#jFB5()7ѧE%kpHSsTۚ3x E%٤>0ǁ{]TDX 3JT(:lӧi. jrTi")K7?fy++YFa:[j"%[ii"}