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  3 3J L4D ]/]ZF-Induct:threads=6elapsed=3.213cpu=11.008gc=0.384factor=3.437zXZִF! c]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N6%o}z٪ElPδ{1-AbDKiGJ'd9*p;=d1}Y$4,.Š' G'%0K覨X o"@c<VB!;&L5;`nֱgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەzm7@q:fP缻Y_HpYW*(0Jh 2HI 1gšfe2j|\9@4ƚ:: !O8ճ0Uup({%:/[n12Q5 7N@.{dqgTV&7vxs]1gsN!ՖrSP5DmHRS!K?V,js JYhY!\E5"=5y:gYZ7zXZִF! ]ŗXi%90yۛ_ғIMfA-vMRx]HAa#n,,餿:Q; 3/Y~dЙԿw۝YvD02%JV~/,u,8@UgֿR~ uV2k22܋_>D=vrdݴW*Q_-83ctPwlNkp4L8yvK#o=*k#H$Y;&(8 ܅ׅ1֊PjD9Ьl6@ 0VUĭzϺI ;! ?$m8Tvk` mWg"g-( #dlI9nXVKVj_g^rKS O6hH}dZ>så6.Q23C`>W':5"DY]壑j RIYp꿒!@6c+T=G%A"gYZ9f21668ed88c67443f1177a3bbdbaab2898b4409e331a8fae316f048422d7f7fdc239a12eab41778 816d4edb051f2c057f3273f63c2005f5388f3a643874627de5e596f721f9895e00d3ef5a5ba92725   ZF-Induct