SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 oG ld ] Probabilistic_System_Zoo-BNFs:threads=8elapsed=7.576cpu=50.068gc=2.100factor=6.617zXZִF! ?]ŗXf1-q恈<-¡$johkX2I)']8PI T.,jQPfCGsZxH. uݗ1 0/-v9izz3A^.s{KM/ׄZ flf}p7 /Kn/ԡt™՚>9S vxr$ J| ] ,|.XGSJjX@-X'#LxGLP7zq)*~3#n@EӿKBhDoi556.Y|rqilea $f/둍 6CWzw$m Ʈ{S l-b"&W]WrmKauщ\JP}ne7׿4 u^-02ї7)Q HQ? K8fcO.1Cca<&:5 Y)TY 0\Vd_44*,g2)XtjYy&^:t ۹ovEE<e0;1 pb[_gYZ7zXZִF! 3s]ŗXi%>t}bd2Mgp!+%k UpYNl)<#wweM0\"GMz<\EKbcM!1,ɞ͇|PrKi\@Q5Ф#bNWQgqożhhޠ;\%/C]4Y B%Z߼GZ_Fx]0xW99aU^Z5;9Yxч\;<(]6 ZE]XOȍӏ;pa,6H#"v Eo,Լz"rsX\( o'ӿ=2%2z-%~#M3^(?{9EŨ˙镭aViu@F0@lsҚԀ2 c'MnSv03d)+R֭0TqWqǼc8P!B e~qa6Pb#MNPWNMDY*\G[1j@cs 8#,!C%nG>pi2C"Z}y2 ?gLCEMg/KLskd N)nuh;$jU2";_j ,@ZHs!|`ن-D dߒwsb@'l.}S Vm-I:!ae~?꿸m1֑FkX$ BfcHz_n 5A"ݙUhp]bXͬrͪY`Er0Ơ۴؋8x:ROqТkǼEғU:/u`( s* sϔ>(.'CA]p+r)%@R+?Kp/NʑEk N]Ǟfo8:V?.nC(S#wZA mm:F?<.M0\[V0XY̨ ȩ~<ںֳ}Y4I I5_Q0+SwCBÞkR jUOs>ɝUxkhL,mZ-Vg|"VJ&KiD7waĜ9m\'$MXa f®gYZ40b29ef657015dd87b51374e8ffc60256562bba8c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 5f5d9af270ebe02ef506a6072735bafbbf70c6b7  G Probabilistic_System_Zoo-BNFs