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 %%X \D< ] Bernoulli:threads=2elapsed=15.227cpu=20.816gc=0.464factor=1.377zXZִF! Vh]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z:ܙA}GKdb_7]=8Ɓ_  !v6LW}^M]z|:Ma5wUhNXi4ˆ͊#f_O@/{A*iD3zIB%yC酅K!#Ӝ/94r@yYF~6G[>R ]W% ! dfB4J(j.e)cp}U Y .'TԬt$e {)gQٞ ۋM{\TkSadhqUq97wY荭g?hAӼ|8aa #lӾFS5l!20s0b-Xۑ} ^ɲ3;:P'u]h s=7!aL'h)*'+*>][4-,+\+}@*:qvmLj1w[ jn=0ў$J 61==,hGw:J8(&-_c J>M2x0T@}ƽ]#CʝL +&OCJDAF)5gQ)TkP?h'`:\xםp J^=5!7#˝ o3TI6$*zDsOAD n3f01mZv|jj`8KC }\`O]t )mҀR1}Bc/.C<%#~O_*`_fG+Inmˎ+1씅qQ"Y,AuH"MYb꡻-#sni|Ed?zd9c~HAbj5J~bmF!ztBQ}s9LSlk:րqGj_&j> ~X1 \NG?xu<hv#l졊ؾmҶbr@d^ ZοM# dǰ" vl\Q^I(zKdiܑp4(i >xGcWy^~]8&j0R[*PV=X&Fԇ> !LjCוBWu674Ϭ A[r۬ī ,(gYZe661a74e79e6f0008f94c374d5d31cb81e1064b4665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 2369b8ce4e84580554195548d17ce55ba9cff784   Bernoulli