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 hG t s% Probabilistic_System_Zoo-BNFs:threads=2elapsed=57.213cpu=98.172gc=3.936factor=1.727zXZִF! 8H]ŗXf1-q恈wX87cģh7Zxy݇f㸭cV]׈cy_gIB'DVZH>]$-R'pvNb'yC[/bE'ܰe !wMG" %u9 v:Ńn-0,He\w3IGhHR;a#_ dB .얨Jxfњ`)T w97H& f\XݦoI[-wĉr7z9ŕ_šԆc6dKB!ŔvhxB Tw`Ⱥ#n\uȈ.nĊ7ݤb2 |$1 7F+eŸzQ6J1j#"at{Sh 2Ox o=Yy^EE%q 9잸V'hNYj<ވ`阫g:fn@㭞RA+vٹ/(tq?Y%j񰢺ـ,b}(V;΀/f(J6e >niDRd%yA e:rdZTDz sӡ(3vz f )_md}+ BO[d~E55Nw)EprFbD^ketLL ߊ22D!TnlG&C*^'Crժ^'DݭQG5y,vk+٠}ҋSޔD@:^_E͹E1ty`aO$ct#`YYE[ 8ďP`ĬA pCȱgYZ7zXZִF!  4]ŗXi%1S}AGqUʧ <ŃbŜE$< jԊߋ1֧=1ڱe ^AAcܤ=KʊVW)_5*d,gH6ʙNR\[YUǃ_4~$"rm]l1Ot7G a: ]n=@;FG>ROR`FLr l/yu^  G Probabilistic_System_Zoo-BNFsc![/'[(hH 0K^KJi34! (a0)!u/}{<%eU@vdv1C kmtvohSQQ#7wE0PBz{: r[>}i_2&&G<Fh"U}9uB3ưՆ0wT"6O<3hKbh@%1GMɉ7Jf۞n$'C:=>AT]5NG; IZ{.G*!EД GjKsi+$Ȭ{tdzMBww/KNTG]&,t D]t8MHv!riarZ] ҏPHϠ߂l>r:ۊj~|^&zA"M_11n;L]nݚ[&vPD$R@}xJ=xmj Ql x#[SRYVlXyc"j(j͌a%j B#{g89u[PGѻQy67U4إS2P6kNpUmچ?V僄#J+R2ScVi$A1auC$hT72*h'ml|XGL `-clVU)-\] /DTYO֙YUy?(nDty#(5$n21߹ğ;K= ;2 dv$\ޟ*v ?z=d?Q_1i.DbІDHH&Aހ~ѯ,y x+#|Һ)REJM|!h,sC7TQ%?0 _s1|f, V|ػ鰌`A(j0,+7Z 9蓐K&D&~Z zV)9c$rM=`2CGY]%;؏=Tꂏ=lEgi/t*貘.#<~6`VɄ3XڹJGIwBN+l@4?jEq*W`.LRfjSD ;JU2L >gЮ]r)>GxBPdluO<,`UfĆ_ 쿣4To{l .ufx\Aԭjw7 FrI8jEpvP.GJ)FUtRl4uyi#'ŵڝ φSm PS ̈lJ?lhUZKa} $<[806Imė|lZ/lԲ|6}n)Ӽu|9_ 獙ܤ^z(6c\$vIE{2Wx8ok^Z ZɲO:Ԭ&9cLUd' :Ға9)$UC݊+X> l%mŇxo?dS n} K5'G 5,bw8AqCI:^3qPo D)H^\F&_̲vI kJ|Q2 V!~Elgw ίMOxxr:!wɹT*6eq+{>;,0t^@T#p5E>Ր Y}Z,YǀAtULM͉m,}RL73 |둳}ybn'; "^ }8n1:y\21X=Κn?^w`FYw_…'?٥W*u݃:rS|{ixkg+ǡ_{\o}aw&YЁBҚ ~/AͽUElڛJ"gd[ڊ Dy  w}G1EȳEP(MŶUo k机0)1<>e1,²J?XDX۳;J ^,La+mzṊȇ.iAx2v,CE1綂Q@3neK6yuqy,Zސ*ɷ=^NWl5VkUpH_=f[CDjldC<;aQ Zi?DH&WXnU푝6XFXu)fդ-V nE!;\)1P-Mw4Sn0!gJَ]V[*Z"[IaqYh`S>hlS71CpV5h]B& ? zN3n\(PA5lޱgYZ0cb6fc629c51665ac30e4c2f11b0c69100de6a19 232c1ab3b743e6b15a79af3b9ae3f1c91d0cc862 2bb7cfdf96478e2a33dc754f5f8154939e55d110 44c478e7461bd2f9a5a01b0fedb2d5116c88327d 4aa82869ab6954ea751fa236d010ba63fbaaa985 65098bdffde87fcd9f43143a7a40520cf655ca03 7384a298679a9c21d2d0f490f2c86a7c467f4ead 746def77c96904376c7d3a0d8c7b67f5abd49773 879b766a737b625d333234513cc20f2d942c00c1 91facbb31949a0430fcb32369bd6ea671b7bc144 9a6809648743e662b73df2ed39757f12b89dc0df 9e4789cec7e0ff12c72496f2e441c961e3e40474 a4144db1fa43aeb836aaa3e8adb2f6e2f710430d b269c384ab09a061fda664fd52bbc160565690c1 c16484b003b7ae40c2eee619dfa65bf409c6064e c7e7d2e0e27315c66b380167dea51cee647c3f57 d52d3e20b288032bcb9ee8f4cc0ed38653ce9ff2 d8b591c052c85b1671e1d7822571568590dc3e35 efb1ae81520b194383cc938a46dd789c98920601 fbb41d0aa9e7731b95122619e8a4b9eae61c727a0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 0beff611cd94b5fa7aa7bfc129b0c2bacd34771d