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 IOA-ABP:threads=2elapsed=5.610cpu=10.084gc=0.176factor=1.807zXZִF! ]ŗXf1-qN50^%Fk_cSjZ5:]&I) (#it&A*aZlmgƫ CumW9Ǜ֒F.zz՜m8 m'~mu gLw5yQ   IOA-ABP?aЎs+sgJJ?69ɑe"`&Yo=D>N1$IOq'Cu@n`׮ȃvYtdT#$rMZ  1CsFHg B<7_HrXmooA$wܟj}=*3wޅ !7X> } fJ;_%mQ!´2jHw3(k*WBi8K3$b艪r:̡t6|*ٗ'!8w{HWH  "ʩ9E1ϿIx9g9Go0he òb4\6kZ;n[|2 FJ\qP o=/)_Da  Bް̰zAH(@! 3Wu-˄v ųL<_ ;5X\i)HɚAJ;K$<ۙt?.^jN98C6!A6ltphbE <1?7YHpR9p PB*w:gYZ7zXZִF! ]ŗXi%#fFEz$ԏQA`v+uJ=" m~#j6[F[i.2:p[دS-{+AHcݲiJq( w\){Rp 1D7qBAyqgS2z1Nq x0.?%HpEZ=8` 0k' 2xg]N e'V"gu;8."Hd76v%Ien0/l">CH:"?N8Z΍6*p%ec3~GrR,u+bWnl'?~W/NE^1.b_En_(Mzfn˃NZ4]+z>m_HYsI1;'K.k+1єE0GRpC%4/cY gM\Fr1dwdAB,)/Y4MO#10`T`RFd<ϱ<ɐXvYN?â*gQ[3^=8nCs\\:.owQ 5aF9> o#%1 Oੀl6N7! XgYZ080dae06aec14b828aa37d39b34ee8b44a0e18a9 0a49159f483e2644341db188774a133e432281e0 315dedad6bf63cf6376d19cef535f51d6f332a63 761afef055995f90014adc08a2d6e3587a21b474 781fb061bd38e288d34cba0200e25981e7567598 7d12d7edea3a531180c2c2053a7322a41d874610 96e3a471d3b874ddfb93bb394ac4ba897cd14b4a a603ee4196c9d72d68023e7d2f472dad55892814 ac0049eb2877daec256c11b389dcc78ac1242da1 bb576dfed7c0bb787618e694ce9c0e86609d9264 e3d4f177af568ca9847e91ef811aff305baecce2 e57fb5cfccf4ecbf13bac53bd1c7abd1fcadd289 ed640e6cf4e978447badf183263663509801dd4e f076f310f70c80397c6a792d4576161a4a9efe6f76e60ab7be570c8f37ab4fbd0cc297599bd4212e 75f08b6f45353080735e360691a96b11d33f8575 8b3f1621ad686cf3aa842ec79ad06a6f95fde427 693d3cc2d5119525d7bb1cd0f74082c774dd90f8