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 ww 4\, ] ZF-UNITY:threads=6elapsed=5.702cpu=30.428gc=1.240factor=5.347zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b G\D.Owrl۞c(aítY:ɢaCMI/[QAQL"hlX|bodE`n,I (2L֪Y5G/:똴-"O](d<.z &ѦM1bdM0ڏJd68}$q ]Sљ]7MUJf_ I*\g_b-#3;U~'1p__+6$"4pLc}EtGx3yΗ~Od(Ql"Y+ۨuä5CW9 H s&`d*u }YΗSx*HT9)*Mpd8$TݻՒǴ9;}L[q_jbs"?μmeBf{q4":(bb, ɂMXuE1!xwkgx!sW' WvpN ݳ?CpdC8kq= Suvu6<|ih϶Үu #S6[I>QrPlUFi}BS}-_ `4j L: Wt>Ż@׵ XzJ BZO;7M5"ЛV$čv"L꨼Ni! ;OhUٝzȇ?{$ HrSUɨA ut(EM㣚TLT aNVhT^ -Т<Na+IA](yЎ);֋h<1wyMy}UG4X Ro>TK,ꔉTWNy, ;8U=]f |p)U,'[S9Q`fI^eb(>;fvVbK3 ]$smf 7UfO <0NKS1 ^fZt"O!2b?} ѧzMvĽ8\l_ .7FnKҴ,0˜I^8H j Hs/'Dg4KS,y>4ƴ(MFװw9/{55ӔvUr^dVtd ԃ͠HtjѢﳚ|y[mVv,HH·MͻƟr8hsF:M|Rn52CFV=gYZ98e0fe543fda052beef90cae43e3622c720c1d68381b0b6f5ce27306df5e53b57f6ec5e3417fdc9a 91a8d849c1411ac9b72067ed07a84537dea0ba75 1694a2de19a140e45f07733a30dedf3bd8aa3746   ZF-UNITY