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 yO $L ]w Probabilistic_System_Zoo-Non_BNFs:threads=2elapsed=46.857cpu=85.880gc=5.104factor=1.837zXZִF! +]ŗXf1-q恈NucvAݪ4 c?im+)=3}Fns@rWE3J܋tGMF{wGYmRVW%)'1xOzv[C' *.)>Qs⮒90|1t[D*1'cT!2SE!3`^bpziq 0*-6KW<&n~}?[4홰dQTkv"&b'`kaWsMv"k&`PPuޖU%:T/8iDsk]‰ $O Probabilistic_System_Zoo-Non_BNFsvqJx&yTVwL~3! mItŮ=,%r*Ίٖ,~n0$X?C@bN~n(H:֠eGn}ꭋ 6<83g>hc?nP@Ӫk9 Z)?@B|﵅v?<bYpP*qsvncV?qDIFe^{%1 sڴ17 a0G)<."֛v&(Vt )x&SfK/XhxVV$wW\&{ܵ* mY#'_WeMp6,,N8j^{IGTTevݴyk#a*d_v.<,RoCV:'i MDyP*#+ǁH`>$lFf _kIyɰ,饋fҹ\8ƅSޡCPs{@F_BF["Aa 4}Щ9%Msߞl)^m.I<ǧJ\ou9"')ILʳjUg/c.Q/}6+*AH!;t3<NL6ohʵfłN}􂞕uoLT\b`ɥ bܧ۵+ѵVf@|"'ք!̔b`[Ju?Ar;{ujdh/V6\i׫vjR+Ky"4ZXInakzB6PJ|HqOh.l"_`(Ց;VZud@ WG%gYZ7zXZִF! Z ]ŗXi%60npKn\O?mKtOQև| X7dBdqe2AI1BΔRT}[ vHEΌ\eU[#m CtV]@UZ87MD7pJjܲdtϞϼh &J KJt(2 fWv[:^ #i,ּ RIw]@ߝEoiЁVݖftbց47MS_͞Ç $"d KomFi Bڹ~s/8Ū@CՂ_sB,V &)xQIrTL⭍]g-IŠs+W. ?3@)*|(?%LX- T()r5XɊ'DYi #dػwE kш |KH,-EcvBe!C%@;8P<8͐&FYsMV1ኪ|W*,ЮQ*>화YϺ7fW}?TЄн 2ުgJ_Ju>vZq6c2{7hUy̷ʙ;<!ǽ$$oo{zcْңYkkpU1x 'ŬL/nݭN侗Da ;70 2F]W,6@“9/ ~Kw'&s>0|tϗH[8gtDF|Sg8VQqXD/> I/h9/|ǪRd1:E{KAZ@w*g_&URMb-p: s jE>@O֗_m:cN¢=Z2t/|KvHm;Kb8/8_;SO*4cIMd nV:  MNNBj ,P½4S/aa\Fjd9epdҳ崐1CE ⼳BjG*ThuFTYqu-볣K@ə铌iTonQQyUU6hjRF4c{йG'7**B |{n3\7z<Ş"83{@-JY:7'qv/ u*qG0xQꮃ~7,&%Cu£ H2S[cc-}ֲ4` :i+[I~.85j/_.eFpyGMa- MJɍxRBm4u{r$xBS]w&‹CxR2 LVUaUNq|~:*=<_!2Jv>)J}oœp\P4:i*|o9RـRsATUGpMZC\=.%kH((S$k}Қ] sZK'`!>n8m%es#ŐPoAc1!qbLEd2uM溅-Jp $Dj>S܋5JfWAShжl?>9 wD9ք jb2_1$2lPAZh5.v 7I%"|^IlNYo'ڝϒ{TQBjh>I0Y]1X%k{1={r8Ӄ/N+Tb7_ SGp¾L),;rklWe1Bes֟,U~UvR';ְ SjO6VoLa!# za9},<Yw\<|`6ptn]ݐ&U}:YAkj=t4>E*J8}O{,`3Z GRT],|ط;|-^+6@wg+/~g@<+;uzR [ɮ Qj? #`3O5+av'~4ٰ4g@sLV\I9}*x\a]SdӁԲjZX2*%炎7hpwJ,uPY+[]tNv`waabAt5] X"B)Ib1կ R*۲uñgYZ227730d115fda3e5285680c3f95b89278f4b245de3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d 76a68048e9407415394a8191e7fd2daca1c1bb2e 50dae0a1e57500b43a88785cc6cc74498158411e d0e1d955a726151afa27f2b08ce6ac9b935ae1b3