SQLite format 3@ .;  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 j L, ] ZF-UNITY:threads=6elapsed=6.061cpu=31.956gc=1.244factor=5.277zXZִF! y]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b ʲd!Ʌ]I9itNySjpqb'[Okت+>aM*Ӧ>=$WߟAV1"Kha|oN DBa /6}m^Y hvB}FdY3 H)&>+W:CСTsB =f_4C oP THjzy*Qfnhhv:"}!Z^H\MP"cQ&i70wMTF}iB9˹z,F[%e|.b,8r/?Sco鰚{;iw\/pkP@ֈϠG]CS9Dzed|v XШwVBⲼm, Y6@5$  `gYZ7zXZִF! $X]ŗXi%IS<\orӭ4__w$+Gaf!l^C7B/bc#;zf+L7ѰYRdcrf$IVA9Sb|{)e]=/.2yh|…0 -i٨tc:!t| 6%~@ y1!ȡp: @ _d`1g'v&-p{b}/1^K՜VWQ+'ߓ@@#%06sR:ɠ7;E]El#hԅ,Q)t6np遇EWҊ+bS볟yj͡ KPZRr^^[ڡXQ1itPg0P׼-!+ҙ6KkAB0VT)x/Km:Js',8cpG Ͽ=ܓ9g%^pCZ" _ɥK"HUm WM>xD=醤'|cJaЕL ƍ+nъ+X=ORI mUr5YoyL pEs`kbo|A&\Nrg4ǯ 4ƍέC]h+M!=Xj^wtZ_lA$-@5s緡ԩمq)oވQ-Zg>y2e<]B|fJ"U3Z,s=xcrvN%"xo<׏oZF,vu V]9EvL HZT+gYZc4d4ca4e1f98212003b002aad647af7bd7774181e61d7bad19c83358620faa4245e89410bb30de9a 66f3b830b76577235215a052fae7c7c21e869d07 65e14d496a20fd149620c55bb3bfb3a11f15f600   ZF-UNITY