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  J J+= < iw Probabilistic_System_Zoo:threads=2elapsed=50.165cpu=83.648gc=4.072factor=1.677zXZִF! )H]ŗXf1-q恈<-¡$j9n0.H. =.;7,T(.(>*[ 6Pow}}& G_>N{hfp\ V4铴ҫ8$~yq4*gALzvw#@ϐ\}B,7?j$a@W [o]Xfv ]o zctX86vR&H8nx@3Bh(a+ =nU>. 'm9-+oN,9#UEC@$c_م_P tZGzǕ^@TA6eN~&B2oxav=0\D^˥vz -S G zZX`k{v"3.эSKo)RM=Fv"hƒ8BlaR'5:0n%|a[mH23([Uej]\ x$$t߆٪(( $@C1ZR,M!/]Œ ?4m󮮑{A_QR*ț.3Y2u$Z˕.wʳ 炚t߂qB~^.ulp0P(o, 5ⵗlĎnPmϠx4s6L2f9E®D&uzm+V|{C:*_1Tbyx.:NFX^OӖ+* C j #G%kpL7iuxd`Sh=N-|u뢞Ѧy5^wH@0Em*Wv! _Rn6a-0G,[wGKPrZg@}+80Gr.yخ=Inqd5S%y?ͳ95^3L9IsQ 0.yJ֕0OqCGhҺq >qN = Probabilistic_System_Zoos4g6U!8ˇi]aCdSli7DShgYZ7zXZִF! ]ŗXi%6˻hb!su CQq7RAR;&&M=ys.ݎՕ Ya>a0b]I4C9J4W'?[\#$1=o&TeZ6"x(fE@82hoOW BHѷD?cְ?}aaCvT) sUY`aM~s@~DLsױ a)G@%hkT@Es@%r_"i9"D۬ MBKlGxyƩf4a770-XQe'䨘'! mO.^SlVZG);zFüqd$-f*7FD;eZ&ŔV#kkoGQ)N oZ9"r{]M y(TPPk?'tV][̚6*<ZL(vH߆zmPgYB ޟ`GgA> ߁$4hv.`_eGPbG u [Zߴ,MfKuI qP̾*hΫqrLR"R;]YM³)h]eaJ PӕҺqo5tS"k_TZS!K90|Si'9MɏUH@&7`ƟV PҟS[\ OP_{~O+8R75oΊ7G 伸"B yu ؒk },UvƥO)3 f ʌ)wQG\?m YQ&sh-TV~7[Q&Nwϸ`.{uw#`F ]Zv"Z6Cm 7} 8K?o P(bbWSCAg? uddfh0ݮw{ iGT3)4׉D5L(<)Pps>5h* [#D%ڂ¦d.7Jjq!3&ap+i %PC m8C$C0H3N543AlCjPG:/T 5$=!Yx?=1 `}Yڵ^dc$UjMNrά=*|Hr3glqޑޜD}L6mC޻$0nsdw"I`Jo')_CUwC];hOM!.A2WIF`LcMqkx5Ant ׹Cqr(\Ѫ<39%v1UOnn{)* +ј~=~bx+Q3191}ݪ,:?R2PL­=cHzDf0V-ruʫdLjoJVJHRՋrWQ.f$N.?pM}u0&7n+}?ı߫2 okkou]yb ⣗Ö%zRO Cws~Zd8vh^7R~ }FeϪ>~btR>|Yu@Ku0F~0CV:l[1PhdYitIk<Ղ]07aΩ9HέLSB0M: `S Z8=?R!\I}&Q+9-9=}"_i\nAR LK v\}y;M<&A\t)'JZ Tk=-cQhz4\Oy$ys{y6? !GtfL?`>?KDŽ~w5O.]xĊ^tc`'Os)bDPfoEPy"@mV}Dz?q^XW~OנF!L!=? 0 >WK' G{