SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 @@= $$d ]/]HOL-Word:threads=6elapsed=9.306cpu=41.988gc=1.572factor=4.517zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y ZFovDqvhШ0gh !`($%NR[w|rE`|2 BYmWnbc)"LoX+krp4/\ YSi? 6 'UИҿa kYNEos/F$L[ 8PlHܯ%Ij(;bIA4B '~p,-0lAfl6}2G!Ώu݋wȋ.`։TM6Żg}M!>Ҏ6'鿘L7{v\± Q|*%AallRa*Ay'3#!=΋SY35By2`6kH=ɅU/wҟa>A՗kn EEHvM2@>I 6q6ӝ6dRH@|-=Q#MgYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.Ac?dძ]dAjRU#a+ܪLw 3+ yHzc-g=Ѕ˲,$!6$VxX2/QVY*y!K9%O +-pZAAy,5pu NkC):8H~@^59nN !4HNmˊG cFLpukOJV/mp 2pD)VyT,<7i(u=u:<Ϝ@-1Tn][pXU%tUL<Heӿx;]'lKVq_@*z yaMȈUnFUKqEZ9; .7j0gYZ7zXZִF! ,]ŗXi%;%kEioma^C!fV`hڿNg@o2 :ˣ}j~VYs99Qi}oO13-:֯~JORl$[Suʀ kDmkJ؅uzjA|5oJ {+_qc9N<&F)U,UU ~juMa. EnlO z9p.u켎oFc5 A% BйTYd֟.2Eix[ɍ[}L26Y ZxĴa@n$!ߐZ sW:fCDCQ'Npkx3Maâ&,fE꽹9i60B| <|?pdJk8VҒ4g0;D<k7|Ԫ[E?4BAFY3$,RkY>?*pr^Xlac$;ҘΝ3T՗;,*3q5JmOȅCz[C:&5K &Bt[%: c=ttVUz0p Ks?QP e)2yطWioSkܜ||,ﵲd!U' ԤpG%ƻz#VIӿ?(}2Dgg]?fcc栕><frB]fwO|&BVz}