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 =) \ S/ FunWithTilings:threads=2elapsed=24.076cpu=45.424gc=0.228factor=1.897zXZִF! ]ŗXf1-/6vRZ#q$-RR s(|CdGe%-?FZD ) FunWithTilings ]؛n =_F#_V{.?0p]9ӥ hw GkUC#!\7Z&8qԈwVքcGyOc;iOd\ʒ"QJҗ8R2` E1Luqx"vѤ?GvR"Bڜx`F̀[$,ΓрP!f̼ϟ; ,caZáwD_-q: bY!_ XlD_C5f723H!7yұ'OgYZ7zXZִF! z@]ŗXi%a3u\ ^:iOp 2}8iٕi9%ɘ2O) eHL# Le)nb# ##bZʻ34&_k^`|iE.X#g1Jffk !; X(ge.h:,$nL; m*GݮlASбyTЎ'N̓]Upm@R3ʍÐvجu(>i#Lg(vuyaFb+BH7x+=[E։ufC5&I*IY[w@-$VTsߏo7A-*tp4IYυ/>WƴO&Q\!⚺={ \CtR?LUX1 >YʗC@c⮬ug>LHlq9g&?j!25SoW-d("ᙧ<?.b Dn\BF mnAُ glv]d+2t$^'z"B[JmNҐ?xED7uvMbFMW{|Xq8?-G @B儗.U3ՖPse/*A" WS ƿ*l)\$% 'Ӱs@PR(☥+(!qK< R} Dh v{yPxY]P#Ą͊Jwџ]֟R *xVs% (mc?2C~aVrłT0!m'BFm!y}xPr>5Pф#[Rץfr(Nunc?YE  ȱgYZ65384518925f4821a3bac1385e15208197b717b8 92998bf5fbe9a3a928a920a635dbd205dde49b3a 929a6bf413193ab3ba47df98e4fa1c70b35c8ed0 a59109d2ca341d125311a74e38b48df10164a05280f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4