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  2 2K T$$ ]/ ZF-ex:threads=2elapsed=10.788cpu=15.840gc=0.520factor=1.477zXZִF! ]ŗXf1-W(TA)GdJ pgD3?֯2hkUYS<&xsڝ%e*!u?詀'?Wty4lyoh:=LCSiLtkp_)S;$_7Ts 7A3T9z}6| civDt%le$cg_ѿ5SX#>HQ$`l@d_?=A6)gYZ7zXZִF! ]ŗXiɟ9)uysi>̭ gIrb ۪p䢩_x- grҼ9L'{.9ot[;ljH|SyP0ug+T+ܹfNQ86gX&;lҥT:"4G:PlRݟpb_vFp5]EI _7Zh)V2a 0`gYZ7zXZִF! 3]ŗXi%;Z!s-JKTNn}brE9xEDĪp`f'¤ -3e!b68wsZyk yTl!n ѩO@T2g+߸sd-AwSg KpVI|!HZ4% @ %]#wFR絕˥4~(W93eT3X3z tEEaRI^b}qY!aG{$FH7?IxG(?F?1Ҭ AV'7Q5U+7˵p1ukJ<\7 &,zc;[r9l#bKq߉Fo?mϼg(5’$QH3N?6TB i̖K9".u'/u+/4cOR!R#-ؙr }5;캒6-툹2|}*d)Ê;uq#gQ:?p)qQR(~vU]Ow5X,OQM&5Ѫ=$:;Wvz,<ggYZa63ee83ab886e552d1f5eaba04a86f5bccef00e91e8a5e75562653ea4f095e5003b29df3c0c7dcba 0fb448d882c07f151555c211f8dbf66617f895b5  ZF-ex