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 {{ dD ] ZF-UNITY:threads=6elapsed=5.780cpu=30.208gc=1.168factor=5.237zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b KFuS4EGEx/֝d?0џrRwx2Ϗm.!}R]"6L4&KёX?Tͣ)' /MIa#7d$40<2Q񚜘J`0|ʼnb~[`Jt(7&0M k_M<{{Oo2Ơa 'mOt@ŏr$ ]D T@z BҙKj6 ͘R{NGkKf[7u8{~Y3 h*TbQcp>'Tzl[V~iv"fx0T jR*Gma$ ~;J>p>OZ/ܐ,aB f^cF<(֬R΍M2TpFF0tʼn`8(!]&~kbRF\ !e2ȉu<PœO[yU0)P^ؿc2qtlǫ0\Is>צqocw k_4w&z4R|5iFaH ;FPX W)J,ak } &'R.gYZ7zXZִF! h\]ŗXiɟ9 i:4V;}A<<ګMP7g] WZHM\9vJ1]%@v"}xw0ЅB[n)%?s&й2NTdE {-!w6Gg?*qAN|'̽ORL0'HB$e=;~Đ9Y\ oXsگPŇ5;>]&`wp*Z}ebOF)R)mWg&EP >9:J0sy sB?}JIcu ؂^мҼ0倡~o5w$yh*WGC /-RQBt/$;QXßrgE9ps5ڦ }M;_rO;J;U #?a{]{pTXsTxLjJbq#3vEp' t ~=V9ƭkM,`Ht%ϣ. y}Gsu@/YAJ@+gzLD7!{yX(`a>;[B"~?{ql{(5$,TԱ_6sCTgYZ4e00a869cbf038f9a1fa119915f1c7b8d29ef11c0ca3541890e85917e61d4eb1b72fb2facda5c940 b82c2dc97cf947472fa2001d945ea4ef60f5031e b07f40a3679fc0422b2213bfff82fc7a0062e6a8   ZF-UNITY