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   e% tL ]/ HOL-NanoJava:threads=4elapsed=6.286cpu=12.888gc=0.576factor=2.057zXZִF! 2]ŗXf1-q恈ֿ?6q*تK]M?hac耯}ڻ;pkp/sW@sSN#n/deM8o' X2\{Y Z =FD`MtTa65» =)"tJԺ6lyl4^m&aZ%qgYZ7zXZִF! /]]ŗXi%B4/Ktgג<:@ݒdɡ;zXTu`b)jeXd=2LP?~X5Un]7Ԥ:hjߍZ MQw)6)2 pCst"|YGzNsTMyKcNuհM=t+, 9Eсdݤ\vC.$8BJ#zѭm|ӓ"[Tal9$^r+퇔IO^m8T4Djt}<'fvHP>^8Zk)RIW^i`*\ӹWktJ}'eg%,k7r<3 G)mR#c K;dSǰ"GhLuVS (=nUW̳؇r ˾?"KO|5'.]#o~Õy)QY%Z=6/*ꂒ Vqg̪J̷ZɇbQojAtvBXt"l^ŭwOi͏l:#픅[0N%ugC]EDK㼻BJ[IF5b{e4PR5+&lB7`лhJX*-f"^uՎ5X)шG9N ]eY+^#9TQz_by:/ =(<)LAOٰP&ϐ,HjU{XT٢L_mDZgYZ1595842e6ad2e5edad2d455940f0f8e9c6e4f20b9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d % HOL-NanoJava