SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info T T !O$$$ ]S Probabilistic_System_Zoo-Non_BNFs:threads=2elapsed=45.266cpu=84.236gc=4.964factor=1.867zXZ ִF ! )[I] ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^N/?U!hK)}Hsѵ|;ܘp3*h2)4Pф'8YI,Ċa).Q.s^ES6Za$u|/=ߞ^ F]d\!kKaL[')yݙ6D)Sl$E @xFOB#hC݃hZ܋.\]*'$(dQ.?!u0@o|宴k=Tlk)0Ps[$ lm8D@`&|8n> JrF3Fe$rg
@?r^M QКz|c(Gh||S Cޤ`W.%/O\uh; BG{AJO&aBhe] $O Probabilistic_System_Zoo-Non_BNFs ]YLl+o&Kvtu daddKq}S>( ÕZm~F=˶2-o[~4&۔c` g4Tp"W,U`ƫF zi» 9E6dψLYd-&o0Abl(eX%h^'^NW`v}s2%1aL>d;&Ђ_gܡ̇nљòcޗ`4vbcNk Hs̚W#KXzs]6m25aCR꼚 (Ao`CGu>%>:T-0tj?@,&Zƹ