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 </ |< ]S First_Order_Terms:threads=2elapsed=8.523cpu=15.620gc=0.876factor=1.837zXZִF! ]ŗXf1-/6vRZZQUt)901r/osq|f(sV->  C" 繏E!?#]VsuћU !/4:[ͲFz0-iKQHbr`W$Y"9J0;.p5]'b"{N<2XXc4y`~7v؊ "f¯M] G#2770NIEhD쓔`'VY.3DdEƙ7@jrF .$ABxvK8obiW@ig;}e8͚˄t/d{Q .}j!tgYZ7zXZִF! @]ŗXiɟ饜وYFh8ꋊg6ɰP85|16c/yCGhG0M4"ߏ XHc Ҍnpw\4&9b,gc0-C(&)XO(QA9o$CƱ"W;7m-t06G4:h(M3c5cxG\H?Hq$>(IE(.݃Um^tr$G#gYZ7zXZִF! :]ŗXi%;уxTYA~Z@0Bs8,Wf~ /ϫ]pn\5>aC!_&Ov1ջUmrok~7`^>#Y_0u*p@s@{X-Ίϧ0-1h̫]Q>4.KFu|J_E4eWPd}S_M1G׆IB^w%52G{ '*H}YnEC@p+DOIVdJ40;u_gYZ5243657d3dba91a0531975ad63e7f474f85af05279d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa3069 76d75bb14d8206c3200e2452a634be433e37464b / First_Order_Terms