SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 XX# DD +/]HOL-Nominal:threads=6elapsed=6.402cpu=16.088gc=0.700factor=2.517zXZִF! 'c]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L/nd1R>OZ͞E̤ 8| $[d 72ah@}9VYS uF(|1wBY\i%Sl]p'Ei~Z UeU>coj/$/ Mq"JatUS$$P !-P)FBNsy/5[ Mc"s̒HG(1Н,Zbberva՝.Lu$ # HOL-NominalT_Yfyk5kܗE=wMpV#E|?e$9PیI(/ ~ vS'XF Bvϣ$ ٽhυЏ|jM7 .oU)PfG&=CJjO8'y3vG<r9pkȱ@|UhWGB3@wͶ#x./"M88OiK/uKwG5!-5`\5kY\~D]n[TS~<. Zv̙NJ)e;(BP,ƩskVu1ʐp Vƙ)06yU| 5ƄvG{ CK 1N3gYZ7zXZִF! ]ŗXi%mrĶN5p_YWz t:l!mGBn\30 b1~& (W,0#n3y$w/m?,p|kvϼiyl3ê:XRʞ pQ"P#~yp~(y/Snyg+s;r-ga]rsB e[랸7A^->iA 0}Oxl9}ުp5Mwg8IsU@a!)z f