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 L) L4< ] HOL-TLA-Memory:threads=4elapsed=9.264cpu=26.320gc=0.680factor=2.847zXZִF! ]ŗXf1-q恈&5v~r12bi"wõBoڧ:se8ܶ.ۋE.&-*<} z?1[Gwef,l kdH:VKJDw9==p~c2:&&59?n j]b.HӪ'2jѣĉg]F.ݥ}\J0>|[GLZGɨM0gYZ7zXZִF! 4]ŗXi%GΩ ʖթB <~p33[Ҳ) s`H[tඵϪ+1l=SVtaK -{Y3 pegSaBM˼MZaXZ1̷`{{y#+?N&^诘 b"PǦ/zΚAV{[2 '\j|`jf uaM3/s8Zw'kכ^]MoJպlQ`.)Ʉx:5|+Jֶf,;1NCwqL9װnWVw 1V\ݲpG`Bgx P;k>fȁQB-q/ s\3%^=*dTuL~02fq㴬}y8 7xvdXcYYp*uO 2;M\(vrMߴu l39lxPz͵'U`8z${OGdB0K_mn(:%̈HzȲ5a0u,9?͹@wxZv̮8[m͈zx޷R|[Qt9h0 `(paubQz*0j|G'hj:1iZQJ34dđOV`0hJd,z95y7 槱$̈ e;Cc<˖F2ۑ >3"} Q42̏W>ZP,[iMI)ϛ\i'N^jk-v[OX/}_rD5*4QFpd$ܞ ̩A0Aٺ(<f/|\c.OVDVFYWvGH>JiJQEEa3IN] /Pb,zS3kT4v)jjCVІor3֨3x=ݘV…P)9nd7Dtp>HlM"3[ .FL IWM`(dran@T e0CHt4z,X&'V&U|g i$gYZ2d03c8cd827053b43cb745c8ccdbdd30dfe176994e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 97e2ec21f051a9347cf4b0cf7cf37ffe7919882e ) HOL-TLA-Memory