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 ^ T ] ZF-UNITY:threads=6elapsed=5.148cpu=25.916gc=0.884factor=5.037zXZִF! A]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb3-BT/&Jnc:B#y\6&!?X{&4/9j kA<S& Ox3$\W(EtAʨѨ8Hx\mqg^Q%.ٹr׌æCdV{2#"ΡZyM,Gg#HV7OMV c22= "HJc 0&`h#* ]A::QyCz3CX_Ù"GU1Vq~3U/^bnO8Nޫ_A٢ѽ|}oZ'V.zt'ʑ9MG+b~k|<֮؂K]#lSmZXz,ݶۀfpTYfw  R-'gu%΄[Ia=c] )K\tD H|R Bpr)>?FMgYZ7zXZִF! hb]ŗXiɟ9 i:4V;}A<<ګMP78Q)@|u}2Vܜ?p3ӬƇ܇BM͈Mm3f08ۄkj&:fIp^ओ7Z1QTHxH9{IgrЊt+=a+XMc6{b#{A/AſE49xG͐UkM!A3\k$MGOh$<~ # n:*j,`tcLvJ㼑ű3%P=$ړUzH1l-WIB!N6N5Ldw+Lj#iA7zdg} Q<Ȇ';6wb+=#)p0ScP4)MISOp! f^?rg̞lC-N{&X{^\>ko 3wmmʺW6ci~OjC(8Vv:"n=34Þv_T`QwăM jl뎹'k{<sXLWJ4@"rdp>7@&zطBwRn KHg`]s 7A g(p)ʄY]{t侑< (>YIRllQ~F:uNھﴒf޴VAu(MA,tQMH_MT|~_4^*BЏ3Ww@>oww[u+'+.Wq|gc:$ `6K.-tQS`k*v iQ35WgYZ557982b0d06883e5fde081e7b7c96d6abc5e00349884737fddd3e6081253c712523f8ecc142c72ee 7a8b1227150f09d8d57521f372c9a8b0ab4b52e6 47be1c146288b2729b487322b73965858e5f0b3c   ZF-UNITY