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  . .O1 dTT ]/ Tree_Decomposition:threads=2elapsed=7.652cpu=12.968gc=0.388factor=1.697zXZִF! *]ŗXf1-/6vR[lN.5ZoT#80g- JzA|qPeĆ \^鞳zcrXT8,d٥Dя7[S0"Z?΀ExYV,&\,ݒbT.5,i=lG,OnU#Y5 C19 kjW$<`Jzm J͡oJ`Rb"4W^L>NJMќpʾdWBe=Q1`Bѵ_$> o[^0Ŧ0@e. L\@gYZ7zXZִF! ]ŗXiɟl%_LW\Y1d.^(^S3z 嬠[J%NX`m`2[-D77u|@n=rԶAJ̣~Ԗ ㎄艤/Mtfx:qK<34!:q]YgYZ7zXZִF! 1Id]ŗXi%9(O] O΍,&4R!{YZQ=aQd~'d#骔yD1l.oϡʏQ#;VDL`PՅ8 OTOMTglq j6Փx{Oٹ8htSLsחN!O܆M{}n{@q8E.al:)q۱}zHxZ:6WF1A=21N}51'. EZ3ˡXC/Yk*zCG9g^Mf-Ht.rYIԹ7'yF]Q^5wR/e_.`%Ϲ6 {3#N>3WP|g1mчa^Z.͸$y/t䇥U un6!.Ȍ2xu۔ g%GTzӰDěXݞ[VBв@0 RUY*Ktਤ3^b%w٫>Mވ. P܏Pu(o0|`ӟg!j4+uްD@0#X5\KS18 X,H\@-QoT kgQbΎy&Mm;ml|£wu(,cF<SMHߥ׼QPN!%wٳًhbO '#<_v)&f8f.!ٍuB/j=!?#-4 ;q5wyȇoFKBf,N¾qi% 8r(=Eo~ `DIj>(뛓Sge L%b9 f=gYZ7907b0b8a4d5c10fcb16970d2c5cdf2b586e970d3bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 1 Tree_Decomposition