SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 55HG ,|l ] Probabilistic_System_Zoo-BNFs:threads=4elapsed=13.928cpu=52.204gc=1.648factor=3.757zXZִF! O]ŗXf1-q恈<-¡$johkX2I)Zf-@\֯)s?- `\gt6PG&KNY :tJ2bZ:fP._銳[KuaKVz^5S0TR"e5G20UDmֲdXB)awj?D:*#+]`yf7*[KŠ8ucE N#c;/V_S(m2YXS1>Ƹzd=^< 8̘ۍQJkyxum@tn>.^v #FS{"TʑW\hNI|tڌ19[yյ<Ƞ>&-QKrO$t˰̤U `5'R \CKϩ-JsEr8KSܗ87 s-{VlBD>JOfƇu"Z:!1;+sU n\h/UU~{ڐDBtGE~n45h~l߾蛂':Sͨ?ėo8غA@u$7n#Q,iCck(Y(}j.Yd7= .gYZ7zXZִF! Xv]ŗXiɟ1˦r90Fn0''ztZguT~땎QaR$^mT!w9b؃z?jm2Y>u^3ib.Ђb"vBa rg*ʾ.r"~֧^ҷ7jM]"sÒ--̔)eŲD+6?L{):ڗ?&gʍMOU a%5ؿO;=i-8l{۝q.rRla'2LHQA9?| ,^1D0v.ڳCHBg+YɆ2icwimZц'l6pNiVM" j@JϫA fe _ՊX[4A vN$z}IO*'"L+YWY "φZ-chbiXr}fo~-TDlkVߡg۹$;*I乆͛[:i!A,Ln='}pHmm<QE` ߽`ExFF'ai[+gc?y;pf:k:6ځgl0%:b [<ܘBc鿱Z愰:,vSҁ^_mi5g c ȖX>%j}zaL^$J|?ܶB Q IeW2%"/yBLI `dQ=(BZRk}:Ayr/p8sK4':{Y\ `ԐgR޳> ۺ Ǖ{2C u.;ϱjPLֵ|AOlß+1TEC˫<ːaj4qt'Q\`A?7 .ډus]oT]qI%z͘K,"@XgIގkBKU? (G>W6;lgK,<Ӗ'|hK[?J ҳXk"aN/)J*;Am 2 sRcN3rg_k" i_g:s?7W~7ȀH]}es}7cu۔xϫw yIᑧLE}FqѱJqgYZ1a6bebf82d643c4b7456396812875c31eba4024c3853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 08e29eb03c2ddc23125f8a3e99b8f8f8af8903c2  G Probabilistic_System_Zoo-BNFs