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 ))T)  | ]/ FunWithTilings:threads=2elapsed=20.702cpu=36.364gc=0.348factor=1.767zXZִF! ]ŗXf1-/6vRZ#q$-RR s(|CdG e!J&*D\Ð9#ɳsaߤp!:~`i/y[*/k GM0ϱZo9x(ƒ$B)lʗ%=ꁆ) v'4-J> qO!WkKu!}I-Kt/z]lCbm{4 iVgYZ7zXZִF! JC]ŗXiɟUXvjV*~ ^kmoy`&VSoIߩAU=ăqqN~_Kl}YZ7zXZִF! nn]ŗXi%;cHǡ_I2d>nu&U.H j"NEU/Фa+^'Oh^Oe&Nul(D*ss78fttγDGLYWo `٩ˊxJtToۍRmM"aj= \V!>x*)NJ2K1ۥz;Y`!/b#: ՝R[xD:`p=9!gIDo Ndï9Y{): E<_+7"..'C.З`Bn-)%]a_6J6ݥIf zsɂ)u@.);9H}~3[$p&6Z)xK{^..J%?)Y2=!3{Y3o5 x-C3V>B*TOv0[rU?T({`ߺG vz:gˋhJ;;=m4/p.;*~fک[>Fx(\Lq9c=8dځ ƐHG q@TB.1uR w.bp@-a`h,w}7/#-x$WpZH4:N5}pK{rޕM bO=$ct$S}%o=0b)୳kW@uG!;Î>3%t<\3YcL2N3Жzm+ I8!\B!lhcTbSZ>}cLrNg&l-9Lux]v}xhg gTNXԈ"NDqؑGq 5V*Q3t Ֆ9J/z5ԁ\:B%Z G8 ۳PW)4"5_~+LwISJJ bJhnŸ^~:FFhohno>OǪ\J=Fd dpvFد< xbҲ #]OXDhӜ2k`|/TP8N:"}JQ#Jj4-[bem5 d>< 5aZiȓ)-RFkq W>Xyfoj+ KLgYZ520d04f6c96b0c92d800aa30b16e84f43ee6470679d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef ) FunWithTilings