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  G td s% Probabilistic_System_Zoo-BNFs:threads=2elapsed=56.534cpu=97.680gc=3.800factor=1.737zXZִF! 61]ŗXf1-q恈wX87cģh7Zxy݇f㸭cV]׈cy޸n_]c pɁ!}|( Gb Ooh\]#nN!kxup>Al@^EaTWE3b/WMvǐsE:NL0!,!h!5Ea h́jLff,{5DasۀsSĽT#g^ú |ﳾϲP?Q4SGۘrw DyR:kK'aSOi~vO8pjM^?Q6`HRӑ<N]귻Xh4D9VvDc}f9.0;[ل9x\@fzׇ>Owֺ ,ɷ`|-tݠRЂqu,YC+>Atsu5  {|Z*'m {=t>}JF7( ;wvTt }lI{ )'=ݠK!r8|0QdkU63^K{UOÕ}3Zq "[}kll7̄2.ۡ,Y.`O<ʌw% [ b$Ʉ~ !=ʟBiҭWmP蕱[&>U—xیY*vh mPﮱgYZ7zXZִF! H ]ŗXi%6uTb mSxk['t {k0@lأ 鯘20 Z& A譋@Y(JyD ݻDb?ʙVp0!җZx<`{bt\?y Ҳ=ęo6Z1 R?'qv<2hYh kKjG[^TPh#w!3 E̴< T"1(\&Rӓ퓃?#(974y`Sc"~hh2,Χ=gM۔|?g1j޲hE[n"J)JH<[WHAXڇ{MMcE6bB uϚRc H*>*f!p‹uo)+<C*HUZ'w}E^ 6>M2@XlY4G.Lĉ}8 ڦAwREe[ ~KV\?Uwt ȔDiB Wiʿ?A8 M:;hPA"H+&m5:M~N`Ǎٟ,KK )X.C!ZeLclOj;izu҈h8|nK;PS,K#RNI$sŸ0l~;C;bfg=kQHԠBbݖUoCsla KD, Xܙ&\3-A:kjalSGA,F'#WeQZ NX{?6ch֝80}k3rR#Ϛtl/Q@g@GB\#s'咗Ojgį8Is\WMuqԻApMVY,0eA ^x0EUݯڂMJZ$װF@6$Ԯuޤb@9t@jvQF kc?a-iP9R $meړhG|{W`A;K|6U-o1ܻkA^;ת?MC~;llPEFMKF +\c"B:h;K/Sƹ^/aI_*?FG IO} p^k] "vS9qrg=gḎQ ٤L\B dt6 KO0]rEǻ9ι.yֆ rfڼ5#_ϰwAcڠ J %,!a ٞ`}'u2C|(eum^EsEYH~6_g"18/FuM8Q3Ƈ-01IING~"S ТpеD_.O3Z_ab7bT7Wޫx/-|_IS EKmty${ zdcpSk2!1M뛦u{Yk086P4Ч7!)|:ILܗ Fڽhn}"Ᵽ@a808ers/Uw$*,<1z״kA\ ^)$nQuR}]!۝ۚDr1i,% A9k@ ;hh(PgP7Sj'0b?HD nt54:9Pۢ.N|>mhl' n;FU{p̹TX=9*BX; RÈU~%.lMPq/Qo3G>dncGؿ^$ 4 3cTro L5P.y#LԱRCn?E#s09^",3NKKsDENP~8"-pr_=*4w[+PBZkH_~Kj8j3F%v0 s)߆w8c樕yCR>x$ѭf@(eQfw:!_;Yr1_%tm30S˚ܻ_7Pej,; )#X+َcn>-R)'lZyP|@D ࡿ94Ass !="~(z6rӜfv-T[c,'p7PTAaC_A5 joV~ă\ڟ9n SiĢirOp?H)e)Jaz.ܯ G %~y^pZU_,()YKC]1vs T/Ӊ^X̘P@$ǜ.8/0wN}+;EH:tzP/%Yd:6'.>TO۷.OcPuV8K1>[!_{ЖqA g%$H3W rl7įsEWHVsT7S9Y8Dwm!\bW4%p+p)= ȫQ΂g$p|\Joϋ' l$MRS2t #Y䫑2Q'<1N/¼X2eF#eI1&,ȥpoPP;1aPQb~m_2O#YLi>bgaS!nނ)ϪB⢮JgHTFm2!DtԱRŊzIn߲"M028]VBH{Ʊ/~x^4gm_O⮲4e'68"7@Ǡ.C*ʶ34 ɞI]HgYZ0cb6fc629c51665ac30e4c2f11b0c69100de6a19 232c1ab3b743e6b15a79af3b9ae3f1c91d0cc862 2bb7cfdf96478e2a33dc754f5f8154939e55d110 44c478e7461bd2f9a5a01b0fedb2d5116c88327d 4aa82869ab6954ea751fa236d010ba63fbaaa985 65098bdffde87fcd9f43143a7a40520cf655ca03 7384a298679a9c21d2d0f490f2c86a7c467f4ead 746def77c96904376c7d3a0d8c7b67f5abd49773 879b766a737b625d333234513cc20f2d942c00c1 91facbb31949a0430fcb32369bd6ea671b7bc144 9a6809648743e662b73df2ed39757f12b89dc0df 9e4789cec7e0ff12c72496f2e441c961e3e40474 a4144db1fa43aeb836aaa3e8adb2f6e2f710430d b269c384ab09a061fda664fd52bbc160565690c1 c16484b003b7ae40c2eee619dfa65bf409c6064e c7e7d2e0e27315c66b380167dea51cee647c3f57 d52d3e20b288032bcb9ee8f4cc0ed38653ce9ff2 d8b591c052c85b1671e1d7822571568590dc3e35 efb1ae81520b194383cc938a46dd789c98920601 fbb41d0aa9e7731b95122619e8a4b9eae61c727ae4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b 86c7fd1199441702fd9498d93a1d3535f80efeef 81c60aa8bc9ec45606136020e3096419ab0aad37