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 Z $4< ]S Codegen:threads=2elapsed=7.767cpu=15.248gc=0.936factor=1.967zXZִF! ']ŗXf1-`7zu.el&Di'Y/χB#휗s!Gn{8nZn4zSm.ReOl[AQ\X^%JCH{4^—lZT<{vc#P=bi0#ïD3v}%6+O,R$,%1PEI3{.D4}Vcݓ BD ~a"4&N 3XmD}Rѫ+N#tmj&QM+n+hYZgYZ7zXZִF! C]ŗXiɟ&,fsØ6X)w`Iyѭ>G_`g[eMYDҦ hV<祽r[k<=ZCvTP0GX ; q1I:b/xW8mlINe40.UAs V#O懔 ?6mQMFm] 9mgSnj;#< ^1V],gYZ7zXZִF! %{]ŗXi%;Xvw!NxK𼙤1 A_wB]y5WH0vv$]֡>$(DSV1#Ib"S`؇o)o7 LXم\;qm~,ZmJA x*O㙷$_niz^e[!R(r*n+&)2䜈RNp 6=azr7G^VqЦћ3a,ʱw\TibZ W>zcR]h`8Jqp${Q$]Cn-ֿVj-6S36=y6=—^=NgY/Z忛j&`7mX#OOBx͈JagYZ3a4c686553e2b9d37c1e7c255f0ea802dc98dfe4848658d617e1d31408814b70d854f0969b4d3dd4 982c966f6e75dd78217f02ee347fdcbadf6f26c2 d917d16ccc38ba570c12297f3bb3196d70f93486 d70013da7d3b9f63dcbfd26f5fa6a4d13793cd55   Codegen