SQLite format 3@ .0:  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  -4T ]% RIPEMD-160-SPARK:threads=4elapsed=1.288cpu=1.360gc=0.000factor=1.067zXZִF! aX]ŗXf[&#dYmƁ5 %1kmv fղ~+N̺u}OHGi " E1QF.4@e=xtb i}YZ7zXZִF! UK]ŗXiɟ5/8PY.i#%(0#\q/xH ߤzauEt:@#- XgV2}YZ7zXZִF! d]ŗXi%Gfw 6tlz UI1<ЏKkc踞C-#:k*ruKl=n v&S4s"3I7YԐPS& 6>:'>- ޗWCq&pGQ)H D!~|7q hn7Ko(<as,H8*x H4t3ڬkޠp=zD\/MP* |"dۨlY'ڙ_+ԥE|; ѳnPJH=9ZR/2mrrp3;A{fʫax[G]j cM>mGGm]Tu $ҹo I'KuA;Ö#IB$tTeqgx7vLuri2#~ j9nzBVx?j{b=dy+ʡbi Ȱ<)&(FqWDv?q%dmx% _޿wA{B.b|$ɭdû~h{]O25؆ogYZfb239bf93b455b95c4c7cadbcbf7a5b27d4fff1f1795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 6828b18d7acb2c1089fb292d28dcbe3bda6680ff 6f0001e357d623ab35fecc9856e19024da7fad0f 5bcc837fe3e5ba95f205abbf1e770be0a991ac55 - RIPEMD-160-SPARK