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 j LdT ] ZF-UNITY:threads=6elapsed=5.273cpu=25.696gc=0.892factor=4.877zXZִF! c]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄē = NS؁iuKž!l1]$NkQ?6|/lsqAN'ݼOعvTbp.4zG1l0sRn93Bf:GfU郔 ~*a:\pl8hOig7zqNcQ=CLq"CGfV/$TW,'HO%$m_4ŨD,A3j:{$:,^IaF~j%?u/LqC̵3]DXsOq⺸_q/lV1.ɒrCx)/-w|RW4sJV^mQާs{F8ژSڏu+ fhTk/Puf Ir<9I%X I+ꕑHx3y0g3f;WW gYZ7zXZִF! hi]ŗXiɟ9 i:4V;}A<<ګMP7.QFueS|8 KwrC4UB _SM)x!$฿V#auViɄ!xI5b!] T8v/W`+k.^i0ncLJg,Q:#W`cUJˀf5 Lm mq}ϵ6󸆰Ξp2j(pB(d;c) i-QH{}D* h ؂4[JTr2# vh+?؍XԼuEsGXVm:h{bY Τ/; hlgYZ7zXZִF! K#]ŗXi%9(R3Zeo\u7$06C*RUo㤣05KM5Zj4ӹa# ]~elGXt+ @`\6MU)u1ȾMxxȐ$hB>⓬ u}Ƶ&25L=ƚ(fu .wws?ܚm:B=pG5i3/ rJUHP~ EBEb%Ly֙ʬn9b.I/밗f?"YO˜(umhL*-34ЪE֟㽗|[2R}GkW8[-!ҷBq"-Vb=pgU$=erjdؔximOabͬlP90mƝ>Q"4%ȡ iu^Ox"YӿA7 P¦iE v?Z \4| ޑ€sV}׷eK