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 j Tt< ] ZF-UNITY:threads=6elapsed=5.793cpu=30.740gc=1.264factor=5.317zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb8C~Ão g?(F_RkUn= m`QN\@gme>G!S "{n?C9Z\Cpyq)rF?l^ RF1E@HUĦ9ǹD|Vb[[ y"| s==8|xJlp2B ל+|re1?t+_Z Kv옶! \obSKKB?_׼XTVU|RVo&GOƅ/pϏ(#GM4j[&B(iNwR5[ 8ܵI$}ْWSmΥB.fs$;r$<_E`|h o";gYZ7zXZִF! ]ŗXi%> 8Z S0Y&Rb-FE9mκ3U>Y*.Xڀac,N7\b$V!ms6-?" 3L:x?i\u?wNY &L6ikޡ8mBE(h۝XלN,li%g }U1?S/Lg@!p1?N E(9J B}f䌫(_ UƱwas`Px=F: l|ۯ8w1S6'^.Q\E#:AEd}nTbGHB=bkt#1RVkv o,% zEBnC~W-^nR0Xel|!dlJ[ɜВkͻ,r4:k]tٷ\X^p %uQ8I8hbvg)2!{/8MpAoh˱%3-܈z`Ļ&9rAogQ?rRܪ /KjL]"0q>+l&+.!bRV{k9WQfo{.ӒU`j؞LYVIPYM 2Ng<~jϘZnjl28SeX}RiiOP"Qÿj;m#@Aϧ l) s<&KfUƱ~ݺz, 6J  2ɀ]t[N>: gYZff4bebafc7eb734b3717fbf2290c6c4c212a7c72ec1fa52d7e9afb209e4092357e883ff03bdd4353 50905731149271732490170e976137c048d98203 a990d888ac4c7ecf74687e9b3cd16621d473a186   ZF-UNITY