SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  L= < ]S Probabilistic_System_Zoo:threads=2elapsed=48.853cpu=81.332gc=3.860factor=1.667zXZִF! &^]ŗXf1-q恈<-¡$j2,xZԵ/+y}! ?Hd9ؠ9y~ghLd 1] ")[I-ЌFr}YdN7PF8f4A,eWO'L8@mE}5+>K{ԗ~>ÖRS6A.]wu#v 74}抄_*-I1:Zd@YΊ0L |#m9Nqܱ,*hnR qk_s$6FQ!` ;T&-YNv^灢O!gLEޠa@Tךm,ԯlrǾrKн8<)lFPf̾*x W] %F]*=̨y:\G]^Ԯm݇_&RȜbBqSԵȗ ”Iq If9 O#{tP Tw(1`xsٵmD햎ϛ}VO`-e̟ǃ )c^oYܼ+6*.yo*pu%LZ{|;(bxNx{U n2cJ^)xjn#W\) 3qEo±1~ij$)]Ql = Probabilistic_System_Zoo  F=S'fe İ kJfGs8̯z9_^_ 5"#WgYZ7zXZִF! ]ŗXi%>g~RM(K %XndN 6=E Cc[}e9sxP5?[);M, 7Tq]5ʈ݈kv7' dXu._[pbu~Bč>w O&-G˶O.}|܀Š0'?͋N29ȶe%i@FJފ6͡J,r\[ Z4-4R#/jϜ"L/Mw*\R(Y 4( xTք 1r=$P0G}/;EV^Ԋ㚘3^ޛKm7-e90Ӄ~ӷAzt7ᶻ֟m)]}oX޿)Z-Vme'uq(yMq%c7So,FX5v`t'ȯR\P EJTEz`B 7˴>4vWM=zGnhz(u_Ut ‰(+*^cp& }Z}/ a=G0yw]@wm9fq@ ?lJk7=/̐!'T (0NCQ FG S1k.R|Qh5oqpľiXᤧ胝<O*tAVks(Q<ϡS)#&H^`Y2ϟs@C^; :2ZK!PlU}&?d`/°ދ}BZ5\^[@ĽjG^X,eq蘮Sadw0*CSώtp}~R1tnt6gRqfM`&>|͘iUUQYcx?rY $Af4mj >zWsԅxjŎWӠiobVWF'XBQW|ؓ{ HߜS?3.U(SfЧ1ǷlJU~ai{B1"~^`&(f dojm#EPk4b&DɭGh%7myFASH}ALepWJs閊=^؍'Dڸs:v@viTcCj0gd޶U1EGSqLSBCʌ؁=U(+3k"3Ҙ61+  ֜N\*{U{i *C(+FZ}ދU2LE5V͎;yl8((I8_*~@DΠ9Y5'J]=[ŻpcMQNrԟ3"=ƂVyqog-^DL UtТb؃re>.+Z0f*gSʘ ٝ759xdf:W88(?TWE9}{MVA{pʵ4M`,G['VՇ$D`^gɜgxսO]Uu8"UK -J036h89Z¹.HCW/lk eKz 7p-sz*:47pHКO[`$NI&c+Ģ $MJzJ:PBy"}mgƸ)EK69ƅ9@X/Jbz̟&B ǃ- Ro`]č}ǞRtז%x"J޿/gYP.BiHԕM"o6GߝX:0>I;͕]f:p7 {!5b$C(k4_Ď=Iʜ5h~DJi|Sr";,ΰp7kS2GیN,7v*aLsLMK`Wl2l~ A@j1X™FHDR$? 4'FֲEAZAc SZ Xlnl3xNj/>ވ=H̳ $b`-Y#ԓ' C3qq I 'Gޡd56t5OY >&dҒM._VWhcr@;P֙yXW0uOj>EIS#mT_&z>kVTQӤ}&m\ဳ$SB`vG̉0v[(HZ >goOjf,8 迾U4z ZɫuSn AjZ@& r\e}":矟euiNN{霹I6޻I Lx6.. P+Goұ[.8<Ə`9 z^$-+( .RR^mK7 C6Rb]<)UPp6twNՀ,b[oHjxcA |2Lc$/^(QzCo.McJ0 dCJ w O ?fn4>ң/Ζ!#I_ƻPkCT8a|VH2trEs^Dl[!E4hS ෪