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 ''V |<$ ] ZF-UNITY:threads=6elapsed=6.351cpu=32.956gc=1.560factor=5.197zXZִF! 4]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b ɞ\*ͱ~"bO、lj񗨀ѣsP^yZwWp*DĖzXC|T Y,Id0?ŭ?ӉοN`e&#/sX)O4t&HHu;pw3Ȳ"ž>cς!0xKJz9n]x %6o: 5]#7儺p?tl|* jS6x~r]c<czYhIG>!(J.^z$]hZoA]PagoSw i9j:!4YSC)B7Sn3mt^f0EFD}ԓzL~o V'$]Wxo c1?ׅ>D,][lRֵ!_^eڪt!k> :Q ^žeW7-,DIX@~NOBuQYE)2IȮ1wL$OÎHpcx5~ LCܩ hW/bR3x-9VoɳBY|7 \z|ZRξAMJSP*ͱgYZ7zXZִF! hX]ŗXiɟ9 i:4V;}A<<ګMP78A* Ӣyv%8b.[o5i}n(`O. ǃ^gjj+ц4V锽qB}E ĈZ((,DDZ1NaJ1~azL{u~0) &s'fvz)`tI,91JR PJ^=A܏E/>ﳟҪޙfDKǔ/?.UJF)B"9$jcDö^ C"l>R/X7&Ѷ0]Pyf WvgYZ7zXZִF! $k ]ŗXi%GA竄Ե]ptl%&?vc?K2E)h_l"qrF(tb=/LzGiCf),{wgj-`(3=ӽ{eFi| 6EFw A[E-Џ #B,zXƮ:i@v_e Ԧ6*̟"(WX1'<^FȘ Hq5OZ!Ha}MDzY|K*ѧ ^M#4^yFQUhq?%CuS&pl.˂DT/hpid\9BؠC"R.MU:?~BF if5NUWb|NYяHz*!14qz-mXDў^#~!'%nڡ6"ȠҸX8o7`'W0>,ڂ'0R81iS3^Q}U ÄA% 6a>ANR^BLcbJq/ҩOi9/jk. zŀe ~j\wldgv+&xE 0JSuI- h:;)k@kA# 'i-ȡ::32$c&L;T Npi]f;͜}kWJ{[؊C4dv\]\v heA =v(!B*^ 3T_cS1@?("6ΪnÓ}]XѠ CNpȇH/BZ*d$#9 M4X|TVVzCZH=XgYZ1e1da4cc811e8e8bea84f8b87c1dd5fda31ede54f3782e60e56b1de215ee686052f461bb18c61005 c3494f1e4616e7cd23d54b01fd07155f75e9eb12 9f4da8c30c4faa16794828df7145ed28ce04ec5e   ZF-UNITY