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 ,$ s% Probabilistic_System_Zoo-BNFs:threads=2elapsed=56.178cpu=96.912gc=3.788factor=1.737zXZִF! 7N]ŗXf1-q恈wX87cģh7Zxy݇f㸭cV]׈cykQ3N]Xcf\HeH9`'$`p](R{ų;YT y0,Y䥿Csqp "22X9R3 k{,0Qf&˼ 97 QI^&ReRX%i*\G9>Ι E>x<^FH2H`;e{Vuzz)ҥb~kUaDYvd#_]( (,udez϶CCU}wSEs1si;ڋX͛eǯjwze[1OjhL҄퍽R'OIHqf8WwN5RR'6}٩:[(s26i^AX|01ZwCdR@my]  QZO`g <'=6dO)HqQpox3,hB̪3XGk oދȱgYZ7zXZִF! O ]ŗXi%6y5.A8qE).KX_Tb̫ۣǎ$nzFH̴ 5z}T/dfFAQg o S/K~+|ClMu|,$u>0R3x>ih/[ :xR+tZ3-yJo_ *.)6}ZBAn~.#<9  G Probabilistic_System_Zoo-BNFs؃$Qu#$YjX?fAHa1⟦h>7N<5@ ṣZB'Y\ʱI`} d#ngoZX^k~N)|c8 VR!PrwFq /_( b,;;z!0T¼Öǣಀb=8WE̯.1Q,"$ ǸСε[-x*v6Lqϩhv(z4 eEtbmm(6V() !C44}[o9O_D4dʹ!d OdA1+:#H#[ă*<<.| 7YKn[~a?V eH&wN*POeT;i~ VzF!]}-wѯzSl -Pyq@38,[*x iCI]V_$xRKz~7urG!2 YzlS_!gp ̧tW w#MpjudhkTH͟T~y ‹hjaT`BN z%m!ҭlp?A$~D6:;@1Y XI_!Q?GenB9F4q\4jHD30{Uu(ѯ9OCMa0VgdF|tjA"y2v Zpw^OGoy6xsaIjAAS}ɺ<"dB/f"k (% SN e/q4qĠ |̒^,[k VEe$̕whp)h @ oY3ջc)澜]{(0<1o6sG9Tm5#]e ZvNRhG[D YcIMveyͥmFrs\fQZ([ ]"gPgH"r=[ztnv{OK~;'l ҇-׹9D`A<+ņ9+~ꠝݧCϡp$i#X:HkM>Gm#GDY'lFzγ{B16w|"2.jC sX_ۿ&"LA~Ϝ~ݿUx]k3ݟ%sT`{e+56jUo}޷D ~|]7aOmrJLђva)/; R-܂(ޤ~aΉ9(9D?%045~ZL+{-x̹N12>?E&x'REP)Oj}M2!KĖ\us=gzبޮ\EwY^k9z^ JAxvp.C+kieZx9㇄]W9g'fmi4/}{/MJgT/n%nkuao}/Q^5/s#?lc-u1KE}g-#m_)6U23 luul|o p]gV>"2`I(a'`^/8vk:U2oKھb~c >C&lè*d~<*w˨?9GuA*[=;̺*#ND."id;a{ .umt.mN7yŨ3- UB."V{ ߮w0&CuK$J#PrbH4mƙ3 Q$H3}F8j+.86j)H8"~Sz8SP$1辖pȦ}_#x*Yn/_½lvͶDzDeMk 8% yżJ|`a 9 4 Cv~Cm.߁U5/d#{<,g_L3?9F>d&L΂籐jg)᭫)}h@G`\݀NQXmrnw$Y+{gYIr^:lR{$.x/%9eFQ. E+F^b)# yG;l.斒Scƻtn䠏&kƙWVYD<ʰ8U*rͬyy_.|/J\U/H[% M(wa,+|='ؖ[VT$N)L׼V qWby{0RIfvQ/y$f ޸^'7bH ]FĆۻ}-$CrMc΄Q{ZB/vV 20ŻUq'T>N־*&x-m+|0*D[O]d ,Iڊķ9muCCf~$1RvGI%.aaȸ;*&gCGP;/r=39YbQCT@Yv%2:]IB ~< 3,11̈k1YN 1!j $1G#AEQ_ a xo]2܇mci"y+hDBhDj\X5 *—D`\b"$zY.fs8Zpz,mLDuQ\Bq=k J(島(ם܉]jg̦ěCvBSz)8۹ D?