SQLite format 3@ . YYQ77Atableisabelle_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, "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 DD9/ l$ ]w Monomorphic_Monad:threads=2elapsed=22.164cpu=34.140gc=2.020factor=1.547zXZִF! 4]ŗXf1-/6vR[;he {r!BLF 6Tٍ ٬g+2'@WdꣿUy3W?*aR+RE %HtUJFF=E_>( W4tTZ=6%;m𵫃tr"ΑnrNolo]][[XYkz.VXFƴOzp4Sb(}}ꛏ)g (I kLr#leώ"J?v=Rr'P8_t?״Ap?$׵ s:3LÌms ӄmÝds"pRc>KƂ޶2+d2RzLТ_B^I-/fޡlgYZ7zXZִF! u< ]ŗXi%6Ats7Ⱦ}J $[/Eχ~*N7ț @λ l; [y,DyMm?&'+P=`b13d sw@]XQť&wPJw9wtAAc8 :~m VV@lUt-yd+s] v̮zN,uK(pVBW_Nd̪)J =7!;)#ǽ)hp$D͌)/ 1b Vq謸ɔƀuDJT*.I> Cc WRF*M@;dfvgJ}H{-Q(Q8{< 2zq~@wO|?>Y+,H"ZzG,Uu=29ۊSO4JF!GG_Mt#x d˾QNS[gqx:z~_RH1gpkGG杋Lv79 3~WcդqYb}Mg4 DrKaeʼn$:+Qib4 ]:sɰw Ӵ $r1 ]Vy\K%R )=fMBV"SشuDp߽,C$#km&=:Y  eD;SMVB_ [-RX&:sCO6y+]ݖ/ڵ~2Bsφ3nQ]*{\T .[[ ,m>K. ;yhsXsS,wi t4@t5MR <-Chc'6;*.6/LFh~NfWN;hP@NZZ;ٖ*|hu 9=k_B ucף'6*wlK9S*y '{ %5K`m_ 4?Hэ2P qށBZ92(>%! *$LL K4Opv>W}P->g[U%X]_ "췒K/)b `a)vO+M/gKBKͼ+)Y4[}bmUc3) B֠ӂ2$*|gQL CɫזAq24VJ^q nm\lu,d$r.FD)"o^v[