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   eO D, ]S Probabilistic_System_Zoo-Non_BNFs:threads=2elapsed=46.744cpu=87.080gc=5.320factor=1.867zXZִF! ([]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Sduʰ!K'ȡ(6޻ZÓBu52d;ˬ̯GJccfY>y*߃%aၑ6"qik۪9ϡ]Nh?hlJ^՝$O0݅E9,q` ҋ7Eke#x/_Ef(N9nV2|ACCm3z)VX4ԼQ k{26? 'e|] QMRh#:>k@$`%Ư:]UոԍZ1~5K߲J`1 '/7,P(:noSB?VE5~yܧx] ӂ@.om[Zَe){ QLP(m/may4l56'xU{Jn cfYl5ˈT=W8KF@y9Opxvl+`dCjjLi $O Probabilistic_System_Zoo-Non_BNFshC7x/P$57z9#w1ɻ.M['dM4Mk}ŬYzʖD =]cYHh1>XDXAk"1xm66ih3~m]IzE+sO@KZ\> G`D )s z}.Y [ ;=H *·Ŋv"8!UBa2nCjL˴@@:Y{#Gh7H^im7OG4:d .U!R#KT߷}8,nl7\TQRKٮ޾zI2ޖRQ'+L<i:~vuFڜ Ő`og&^n8A?uAq|o,gYZ7zXZִF! D ]ŗXi%9(O`$BCԳi6tLgzIU)uUGEIqజ2 :̷06Ƃ0)ߏ9 CN9NϷ{?%müi@Vn΃-?4k*Yh ̰ɨ *-7X3JnĦ裿_8LQS۱!D xsD2~^E)J1{*}9q@P^E/W [^\i %$mvqj*N dwgodN.rUA{\qӸt?u3?\Rm;dK@5x_#◓^jwu*/N? Q@X!x) A4Rd؆RG3s\DAp qb4EK n Y>jB)btuo5{i}]>%(-I?f i2ox3RО/L >h%a-sח?KD-B4_*o׊ûشBu2`h_q3{L{$ΎC/{4|jFF9`B%vYqM=әWV\[zآe>`;J\#ؓǩ,'PjB3<InM#ccys&QԔS^Vĸk)Xaڿ eJmaޚUb'#hҀuUDJ;ϡRk5-d zJdSx098Z} `sZ{G|yb--?ӣBX;9lgOt%gChwvchIr_U/[ dHM*nKe2ǴO@7j2C$OxVsڬ JXa0l[Z cpʩQXLYn}J:靁2='Rg.n!q8"+dmS]޳b^{eϠ@>{t!3Pm NRb3Iۢ tҌ=jc %P"yAmyrQ+Ѭ09lKrB|r4?CKp84 .D~1T/WҋeF.2 +N9Q016ΎQv3;&wQьoS=S.rEy,0[M:bdRWKЂEG)o@"ӎV/t'km!^~=5ّ/  GQZ~2-d)aUF9=ŝB?jʿ:j/".q?fa2o+i+qDn9OuO&/k#m[yFf,#ɂe@,