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 C9 T| w% InformationFlowSlicing:threads=2elapsed=10.034cpu=19.172gc=1.016factor=1.917zXZִF! bq]ŗXf1-/6vRZ;׬S@à;@&Xm3zkF ^E"O!cNSR~\)D! LbivK*찥v qU{{FfPN xط'guz!)2sa 9*|t] خ %q_E"i>L_UtW0Z7 ƈoR n7EknH \rRnG[P#Kdn9"Sd-)Nq0LY|ЕU %l uR>h_4a[I g` !O3Llz/` tL{I 3$O;`bDeo?/8 F07&ԡɳnL? N/H0n)K*Է+ <"|Iv=xO-oH3O!M9ψ̑zs{&ѦW.ڙ:}7)YwIU-:pbgB|Pq $lA wUX}Vpi()Dkm1W}]-z>+vқ&veC[* 7~hd ڑL lS>[l?:f3|hu|!.<"9U&  ZR zih;CS2LGL4D 5]TF,([x'=`!OqwԻvRi50u'?sKKqs@rd RimqdN =`sgYZ7zXZִF! :]ŗXi%s 벰2<r=u7'3rζHUX:}ewq:,h:ѣ۾H 3 ne_1ebs.EM"su+C|B8=rˠCr7u{?m: p+N tEd3MB>߀7(g o;_Xs"Ӿd!Sh|9p<@9n?=MbZ'pL >kPM/Q)F˷$1"ew9_q{]7@p8H+'?{Af8`~h!GL'mΔ.As<=H8jAUoj5H\׼1+~ C`UTB/\ q`r;$ տӼ3Ϥ{Gx?O~۾nH'Xyq1XAHx=Q w|~f7ғ(م<ίdrťD gUk]q~ڏYSf=fp".m @8rB?#B'5Ws ֪jt8ƙJ%>%)Fd&D9W-rkJ8*j-TJ;8ztl->aCnu߇l6Q/+eJ`^sOe7=! senݹPrP# oʄ2Gڮ*`Etyz_bLIʼ)_|u4 CicᢢJEHe0Hghx [@