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 mm LL4 ] Bernoulli:threads=2elapsed=14.092cpu=19.852gc=0.404factor=1.417zXZִF! ]]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z:ܙA}GKdb_7]=8Ɓ_I7Ka 6i;Ɩ){/Rc[6 Q=<^:U:C QPOk81K|-ƜޕT)ϽgJI#" 섮l_G{Y"Le:K!b~3vws'J;}b8= %;7"3rɺ́xR|tgYZ7zXZִF! y]ŗXiɟ ؁#dN9ԝLf̪XTEU%ndO-15nh&73 +cS,~5 SAi>n*BS෦ ?qk<xc?Rư9_J_r67vZ6_#Ӿ_Y؂<̬})gYZ7zXZִF! V]ŗXi%>g*PP Cxs7|3G<tE8( G8?vC&u<f-Oo GjٲXQc!7VUBgjαV\R+w 6CH(.MLA/i ׮HDӝ5FKa7n*;..Es[i[X =i68Ł (6y_--^JW (m;U\4M? -X k\X܉P>;&*c(PSkiPYfQ FLbk~(I4?߶ZYLkQTRW)=&Gz YngD!v<CM!\/_8VFܓMaf ~DsHP tNї%> 9v.|K<>ekiTWE0vEDy0Ɂ,ZYIQ GJjJ[7cH ' \Чq>Ti8ǐwRlFy%\ nm\lowiY݇}Zgecf}fZXG` j{r' vsgYZb4db9f8ec86e513f211e327963b9dd860ada5943a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 c9f2b6fc1bef0792efb824e828e8e8f82fe54c91   Bernoulli