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 M) T< S/ FunWithTilings:threads=2elapsed=23.893cpu=45.136gc=0.252factor=1.897zXZִF! ]ŗXf1-/6vRZ#q$-RR s(|CdGe%-?FZD{7ТwW;E ;[5 Hk!DPnԛ2w  h;y^ZU?~ K-bo9==6JϪ~yuVTVbHclFo6`+XAHBDR&(H;e@P>%|gYZ7zXZִF! zL]ŗXi%B׆ i"Ĺ!_%F'O@t>Zb-buc@q`0LɃ|l%%Sڦ @C%F# ?(=]Hqƥ@{mAbLJ B,hC1GynQL]آD{isNbSR¡ "K>8M̗ٸv]hq+lqM |MZ(!.3h Ų%9rv $<sF?9~sC2bip\E4x4+PEhrr"x47{fR, A`G5)bUL<5r !mBf: !+6x-zt >š8dc*[q i-4|pC_X',< AW "Tխ&OnIzHl)q1+Kw[C\OmxމBvxuQ: rm7ư];ܭF ZVӲ^Q!fT P FBzRQk6vjF)KN _gߑ%4@]jhO AL d=.#%:i`F!v/<-Hʐ&‚:./#΢[轆u^r"lwoa*H*@ټF $?1Qrm[B*~ ct`}Ψ]$~hSXYԩX'βS9okZk.M0^ַG'eIk1.$|/XT眅U *[Cc zn-'z߷/ږދ_>a )(AprC2+Q_$¾r09s 3ӽ"EߠS"~Uj,.`] o157ff˫{V;LSw$Y%Z `Y^/:V(s+1IJ J&6A1#kd `DOET7-]+oK*RةpډHzJM1K) oB*%t11}{ぉ dEo[Jm ,IQtZI߯_YwL;C9 JgYZ44a8162502b9dd5d9eacf9caab349a9f20a3c8fb 65384518925f4821a3bac1385e15208197b717b8 929a6bf413193ab3ba47df98e4fa1c70b35c8ed0 a59109d2ca341d125311a74e38b48df10164a052d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295