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 ~ \< ] ZF-UNITY:threads=6elapsed=5.949cpu=31.060gc=1.172factor=5.227zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b ț#o4{10 {"h w-[l !!xsri<t[hҁ)ԩ>* X؇ߤAT,jBl< 3Mh4 Fom\pO 2lz0V)ME$cg tQV5IGY=#pmY:gUgஉ:x '&9.!Bd}"e'k%Y@[."oqyrkUh[g=.ƫ~_^YLww,贀uPCZϚ30[W %>-;:&7.ynn]u[QQ!t\n4.B Oh fɃMUJw%%&G`(GPZbgAJ.U7D@%DedYEU`cBf޷š*$ X`"ycbDbs?Iф+ϓIX;HЉ<%Z# 'n73x%Ȭ馱gYZ7zXZִF! he]ŗXiɟ9 i:4V;}A<<ګMP7h.ִ2t:넡Ч.\K7ImcbssONOs/fT,2 >c=[IdL|qe;w\ykMu~wo(仌~s9=Bܭ?1w-_2_IО3''ƼO۽vr4f ~ ^Te+욠ʕB. aDWYZàΑ?: sB4jKůI.4dmb%5e:" 8G̜6cxA2#,"!YP^<m"T^,L%'q7F{! Egf۸TBX{觸! Xi[h?DؾD9Ꮮlt&@iHǕZJg~jckOoޕuLK$Y1W|GRY?7P RŨ>XL9g܀./.i)pӧ,;a_'Nv4r]>d!W[E$v"֖*v+3Z#J Coc0x3YrNUiڲMIKf@-# c24aE |F̒، /lt(">'@<37TaPm|OȎ+~)!Pҁ1Z`Up92"zzݎL߈7[dU#J+|]\F#Z]PD; #ڌ^c [鮖`?LǼQ7m@ MAFmCsjvZS(8a7_['VҿWc~TD(N|PG4]dQ{ܧ(z>є^*oC8gYZee2b543e964a9a2a279fb58f84fe91428f668ee36d4536567a2d054a471600bb1a15b22f2e4e18b7 7a206f14514534d8cb6ced85c89df7e2e543f986 732dd6a96d5d75d11b8183ea08fcdc4f6b5a7e87   ZF-UNITY