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  0G < ] Probabilistic_System_Zoo-BNFs:threads=2elapsed=52.915cpu=92.740gc=3.576factor=1.757zXZִF! 4@]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*k!Vo˗/^hWڵ]qrqNj=yF\(c1JMƐ- +@xTC@gZ7[D%v'Υν="jڵP IpS/ ()l`s񚱻pӍ~r4S?5Ԭ7m$/«lnd2k##t0hY(N3]VE ǽyt( ?;/rߝgQp+^aX0WYQ43P_ OT<Kَr$=nD11hOvW X'Nxf)@zk Jj}j-j J0VdgS$EV⬏lJEԛT\G|n9l܆Җ]s]DUK픚3Vi+9m2=frFIG2sQto^GtzQ.m81/IЧL= 6 ApQz& vsB)> *ʲ* K<2I|"YĚ]8ŕc}7C;9$CGA>-^PU̦?M$_^J"'jEIG_$C.Targa@n7# lx]=S6Rl}v/'.$fO#YsR"jFNLcIYUubр!-ȔQ5*a0q,YA d7̎Jv͌qtk5nE/o!_w L:#oSQxUM#\J&sbNdNn!c)p ͹y/~4ĝZk:g Z-:PafX2C&cqW&wC0͓K.8wMhwE Xl&~&G  G Probabilistic_System_Zoo-BNFs-Hi:bJNǎPR௉@p1&\CrДf ^!f1ГVaᒻ{rGYAwQJe]۸1xԅC=[vl߂M󈢩꿔ħmN6][L{} =1O-\^ hp xgYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~k@0"\xfM!z.s8g~|=3t%D{FMXޖHd齥rkN-3fܦϜө\3qXsέjzRk,ur7BjIWI] 3BrhgYZ7zXZִF!  V]ŗXi%r柳;ҎzBI@V~/^Hv`!g2Xsbeឫ8H QC,Z};) ˁ3K->3G%aa,tϿ{s}}ce@ѱ~XL`qodZ9᭬g:Hq^8Cfs а['Q!0k%Y˦M=,^=f*_}J3q{'+,ϊ\s9}D(U)*RVx.7VW/Ћf arRs^[wA0x{]!['@ӘP1v ̿4nU{}WTg,} ]fCVH¿ =d2E89 =lYH>ovԛtLqļ)3}j.QN7*ӐvѨ\;ϐ? ݈3'(?Ny$c_ِˣ=áh6LpJ_X4FNCkXa"ȂTaqB_mR: 1lO[!괢9b{ G.74ȹjFb| fˈUNYe>=du\¹@{RX]#;AԾ3%ABUFM"7;.oPF A/`c NmkB^2(!jU=52sjChP4I 8ͼ;vSJޏ b#kΕ^pby7c97D;P{ܔ@]x3c% זA*o]WpȊAVK~IE:%~浨6y# +oڔa-b 7o(Rͪ 49MhZm[P< 5Oi3[`Ъ\s%@2DyǪp*Asq~^~o#uKc=zb+Tu!N^Za-mZ$䃯#|u4EdKO{N#_oҌW]nW]Jѽ~jBDb5\T~;QUOo\>JŸ7O)8ٚQk%iN#?J<O1YGM| Ԫz=`B##EHJl#ٺg&n6& ISpU6f5RX>F '\3V-ϤB5ޣ 8">oA묱-JÄEls5xto>'Ꚕ%(Qp-KmԜX彼"]LFF6f^C+3/K^:ņ\Rxs6v|#Z2sZӫ-@VAh[BlnU:lS3]x,T O;T'^"eiC y/L:`F(q|I JH;0$3Fwa$q@2 vA]gkf .V>"/ͩ^ gYm=8 5Ơ51fs+<z˟%4K Vuя:_cۈqRtQbwkeA`SIcpm֔rf.S~@oi; 9)ӬCvgqPR$Pۮ_hb#El4Ѯʪ—UU$ RWǵy\4o*1-PMnm%- ͒Q-Cڀ]NJ%[L[tDޚ=L'G*UBvXhCm,;#لTy(X(bYo,&HPKlup%"TR-kSY5 0UEܻco:UOˇVV[b@Uj=G`1ʰp(Q V۬bֱw۽:x( Wy^~ 66{j 3O+uoPMLݼ(H}NZ ΊN blRV:TWmu!>prjV39ϟi1l ʿӔChV.Q Y@MS*0wYE/z=<J)`ƉM a<#BB'5h'p1P|NRWW -USLըA"~K"٬>b] >Bw >?>gYZ592096fcd77b2812e6a875e84377c5b1ac6fd724d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e c0bf7b6d5b1b478088a3e49438ef9e3f86d0ddd8