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 cc $Lt ] ZF-UNITY:threads=6elapsed=5.949cpu=31.168gc=1.256factor=5.247zXZִF! 4]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b C{|cEw~.*Ed#um ں7~|1137&YT%9!E0Xe!󑝢y%S~R c%6z< H1.my1M 8 ?ۏr)T zFf&s.YRIRn?y͙o◿~4Џ4͊QPusEc%ruʈm^,Nɻ[6Y?ꦮL3 7 WV%:`>(B쒥}"%3ӈ{Hi[P)OFajXf^dt)ȭ?7. AOzJ"@w8x-YҺd>&y=[ mǓq6}ؓ(U#͒ ė3; D-gYZ7zXZִF! $W]ŗXi%G_Ja  Wa<:?F88]:X~X\ dvQveW0>!dR Ŀ;y?r *5gO'(o"[Zyѓz?kJ3<#yafSl*,p SWHn -49JgBW^:;=&G4pH/z.YFgUKs1J']$L+tuޥTXǵhQ ;"HC. =0d؂K:7Ї6ͳqc-XK3~M>l8ܴ:XqReBAz6s#A!`C^76֢N7;F HV4ޅOQ yHpL2:kC \v 9m5-t&팸pwCZڶeCۭ+v`'R_\Nwj]=k?os Xu;u醑8C #garᆪ<}[XgEX́fe1řVЗ|McNj6vŪkaw1H^,yfY'YsA5^,sx*K(%1\ɼ "+ x_SB> FdZO8O5d?chՒTf3T‘`A6Q/A9 {HQ*sgYZ20818a9a58c061f1e99cc948e0a060b0fa2a053f6ccf3784ca06017dd464fef9ca771f74833a3d84 494826fc455bde63a708cdacebe6261799366a11 e873996cf156c251faf583d40b5bd87fb436fa5f   ZF-UNITY