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 ::C7 ,<4 ] First_Welfare_Theorem:threads=2elapsed=7.886cpu=14.512gc=0.444factor=1.847zXZִF! U]ŗXf1-/6vRZZQx= T_<"5DiRm0:Oi0%.yCX pw&.q )Un&Izh3 z8"B]h>z6HNd w胣r?^.+Jc% |w?2 fJcƣ+'|I_O.$d)p77w.DZXZz>^0Nf[x5v gd *\UUHx':-0wXM& ;.Kv_0( 6vXZzyBBg{sG`#D2`7L-PBMrfSA[+쫱gYZ7zXZִF! f]ŗXiɟ饜يmTnGY&luSE[PY@X>fQb6Lw\ce4YwHn4v?MfʡZ:Q&aa5 zT?@\>F#$4[ NCĚ/6jSmr+SDh`g?0hvbc_ >"gYZ7zXZִF! 6]ŗXi%;x& x PlKkHĖM=Xs/*as0QMuN[32"d_ B+Zn9)vlTS' "VDU9-!ؠj;gD$Zy`!?M(٣E{Ӟ|;8Go嵽ϙM}AOg=%Έ<A id!y;?\idܦ0Qp96*d_1\ =)BN!S'V46-fS՘ /[ C`ra 7^_+_.xӖQn9TC2!:Y͢IS3'V8t5c$^?)N!1ZFHykƎ~M-.SEۣ,PS ]aX*w:$zo]}kaT\>Cѭis}?}hao#*J~jlbڹ2! 7I} 31i6M!Īw4ܤi]7+C|@m& m|2t@-‡&sR틤n?p'5rfx*ɴCcQ[=;J8?Nֈ(5HLƢB?DOsnĢRy =\L%-^f}s_  $M'go Z'֌&ZHDOGaLGaXIFsl@vhxeZ-2*X