SQLite format 3@ . BBh77otableisabelle_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 R Ll ] ZF-UNITY:threads=6elapsed=5.023cpu=25.324gc=0.888factor=5.047zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄđ_QA}Qֆ:ߡK H cLQ;`vZ^;4X{^(W hy̩2 _ǀ$w6h'&"KI-+^VBꢗ?@ÿy,p}!*mv(gЬ&RMrtOљ4tV489o#8`~f_U7#lh’@Ê8Іe ;+1v$"R c.eAf̫7#u*\eu6qn.Jc:q+d6EU.A BU!`[?7~F\ /NCrV;l4.ݢ ;;qNu FlVXm s N6k/ 1yK/d۽Gqg2TIUR"ӚO\Vdfsd$gYZ7zXZִF! ho]ŗXiɟ9 i:4V;}A<<ګMP7$.ZCؘWGcO,bܭ}m!{Ӧ|3H_ hQj:d룖DP) 8£!orBKB ,GVRX#)zd")b?rVMurϏ)hce'6?EAfyzG @(\]W)_Øs9xYSD[YNR]/; ."/8P rbVgYZ7zXZִF! ]ŗXi%9,n*PNs!22lvZHZeH ѲД&-mY)&:!G/)QWƿ_{2<Qsy77R] +PZ$ 2݌דðhz#;ϵgJF.+SR#' Cժ(J/E"ԹI9Xal1/WCp`;-A2WRk*Lޣg\Z,j\>^ː H9#l_mtm _M6BmP/H?TO >篟}9QȺy}zBB;GB]Ӕ'Tf6, G2_ƺL`ȫŨG]6Z<_`椘%JIx<G(S}3c_3 w-;Γ*@"mB4NՑUۢz5#`@$HokL]tOqr]Nڷbi1 u) 2uV7%Iƿ֋([BsgT'!Wy|Kh)L,_/?'iªH.]Eګ%q!7 sn9XBɛ0aO^'N=QNUƛH Sދ\DB].p CesـGҦYtdk^[NP4VR-KgYZ03c79400da7f6e913121e3bc2beb74c853013868144fbd49de05d756fe9e2e19f640fdb8a712f8dc 874409d9e8634f1f66b3eb7a5647d02d3aca6ec6 27873d8cdd32724e58e159a9fdd93b6deeae740f   ZF-UNITY